__interface Module 1 0 where
__export Module ModuleName ;
1 data ModuleName ;