When a variable has declared lower and upper bounds, if on store, you automatically
bring the value into that range, it is called corralling or saturation
computing. Corralling makes a special exception for the value 0 which is
considered legitimate, even if it is outside the declared legal range. The technique
was pioneered in the Abundance language. You could think of it in Java as protecting
The new MAJC (Microprocessor Architecture for Java Computing) cpus will do these
automatically in hardware.