type T1 = record x: int, y: int; end;
type T2 = record x: int, y: int; end;
type T3 = T1; // Alias
type T4 = T1; // Alias
type T5 = T3; // Alias
type T6 = record r: int, i: int; end;
type T7 = record y: int, x: int; end;
type T8 = record x: int, y: int; z: int; end;