CorePrep
corePrepPgm
corePrepExpr
cvtLitInteger
lookupMkIntegerName
lookupIntegerSDataConName