type
  TAttr = class(System.Attribute)
  end;

procedure P1([TAttr]x: byte) := exit;


begin
end.