procedure p2(a: T1; b: T2; c: T3); where T1, T2: record; where T3: class; begin end; begin p2(2, 4, 6); end.