Translate
compile
test
printM
t1
t2
t3
t4
t5
toTyK
toTyContK
toProgK
toExpK
reifyCont
type N a
toTyC
toProgC
toTmC
toDeclC
toAnnValC
type H a
toProgH
toTmH
toDeclH
toAnnValH
toTyA
toProgA
toHeapValA
toExpA
toDeclA
updateProd
toAnnValA
toValA
toFlag
toTyTAL
type Varmap
var2reg
toSmallVal
toWordVal
toInstrsTAL
toDeclTAL
toHeapVal
toProgTAL