Implementation Advice

Operations in System and 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 Program_Error.