MODULE Main;

TYPE
  T = RECORD u: U; END;
  U = RECORD t: T; END;

BEGIN
END Main.