MODULE Main;

TYPE T = RECORD a, b, c: INTEGER; END;

VAR A, B, C: INTEGER;

BEGIN
 WITH a = T{A, B, C}, b = T{C, B, A} DO END;
END Main.