type Class1 = class procedure p; var A: record i: integer; jlocal0: record i: real; end; end; begin end; end; begin Assert(True) end.