Modules
Module
Module
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.