full semantics for integer arithmetic, owned pointers, stack allocation through blocks, and linear assignment