mapping int-svalues must have proper subtypes since check_mappings traverse them all. Rev: src/encode.c:1.210 Rev: src/program.c:1.559