Modules

module-constraintsZZ
module         ::= module s module-id module-constraints spec

...

Contains test code which can be called when module is called as 'main' or when module is linked in 'test/debug' version.