CorePrep

corePrepPgm

corePrepExpr

cvtLitInteger

lookupMkIntegerName