MODULE Main;

TYPE T = RECORD west, east, north, south: INTEGER; END;
CONST Empty = T {0,0,0,0};

PROCEDURE P () : T = 
  PROCEDURE Q (): T =
    BEGIN RETURN Empty; END Q;
  BEGIN RETURN Empty; END P;

BEGIN END Main.