ModuleTestEmpty DEFINITIONS ::= BEGIN END