fixed CIL semantics to work with new machine integers