Systemand its children should reflect the target environment semantics as closely as is reasonable. For example, on most machines, it makes sense for address arithmetic to ’wrap around’. Operations that do not make sense should raise
Followed. Address arithmetic is modular arithmetic that wraps around. No
Program_Error, since all operations make sense.