CorePrep
corePrepPgm
corePrepExpr
cvtLitInteger
lookupMkIntegerName