// #Conformance #TypesAndModules #Modules 
// Productions
//<Expects status="success"></Expects>
#light

module M5 = begin
                module M5 = begin
                            end
            end
