MODULE Main;
IMPORT Test;
FROM Foo IMPORT C;

VAR c := NEW (C);
BEGIN
  Test.checkI (c.a, 1);
  Test.done ();
END Main.