>>This in in contrast to Wirth's Oberon that does type checking >>at compile, link and runtimes.
the -T option to the compilers causes them to produce extra data for type checking at link and dynamic load time. this has found bugs. not many, but a few.
