MODULE tfwdtype;
// Module-level forward type reference: a global whose type is declared
// further down (emission deferred until the TYPE completes).
VAR g : Later;
TYPE Later = RECORD x, y : INTEGER END;
VAR ExitCode : INTEGER;
BEGIN
  g.x := 40; g.y := 2;
  ExitCode := g.x + g.y
END tfwdtype.