initialMGS :: MGS
initialMGS = MGS { mgsNextGlobalName = 0
                 , mgsForeignSyms = M.empty
                 }
initialMGS :: MGS
initialMGS = MGS { mgsNextGlobalName = 0
                 , mgsForeignSyms = M.empty
                 }
initialMGS = MGS { mgsNextGlobalName = 0
                 , mgsForeignSyms = M.empty
                 }