Modules

Explicitly state which non-feature constructs are used in the code.