MODULE Main; TYPE A = RECORD b: B END; B = ARRAY [1..BYTESIZE (A)] OF CHAR; BEGIN END Main.