The integer subtype doesn't survive being in a mapping anymore. Added some extra debug checks. Rev: src/program.c:1.643