MODULE M1

VAR X*: INTEGER;

END M1.

namespace M1
{
    public class Var
    {
        public static int X;
    }
}

namespace A1
{
    class Program
    {
        static void Main(string[] args)
        {
            M1.Var.X++;
            System.Console.WriteLine("M1.Var.X = {0}", M1.Var.X);
            System.Console.ReadLine();
        }
    }
}

namespace A2
{
    class Program
    {
        static void Main(string[] args)
        {
            M1.Var.X++;
            System.Console.WriteLine("M1.Var.X = {0}", M1.Var.X);
            System.Console.ReadLine();
        }
    }
}

DEFINITION Compillers;

TYPE
  Compiller = POINTER TO ABSTRACT RECORD
   (* ... *)
  END;
    
  Directory = POINTER TO ABSTRACT RECORD 
   (f: Directory) New (): Compiller, NEW, ABSTRACT;
   (* ... *)
  END;

VAR
  dir-: Directory;

END Compillers.

IMPORT Compillers;

VAR compiller: Compillers.Compiller;
BEGIN
  compiller := Compillers.dir.New();

PROCEDURE P(dir: Compillers.Directory);

P(Compillers.dir);

P(MyCompillers.myDir);