Validity

check              ::= unchecked | validating

unchecked

Assume that the programmer knows what he is doing. No checks on boundaries or wrap-arounds do occur. See validate() to locally override this behaviour.

validating

Check every computation for validity or the results. This can result in serious overhead. See foo() to locally override ths behaviour.