> Maybe you should take a look at the GNAT source code, Ada Compiler's do > that sort of checks since 1983. ;) > Vinzent. Uh. See also intel 432 processor (1981, smalltalk and ada were main languages for it later, if I get it right)...