MODULE FooMain EXPORTS Main;

IMPORT Foo;

BEGIN
  WITH a = NEW(Foo.A) DO a.twiddle() END
END FooMain.