type
  T = class
    public constructor;
    begin
      p{@procedure T.p(a: integer);@}(0);
      p2{@@}();
    end;
    
    public procedure p(a: integer);
    begin
      
    end;
  end;
  
  procedure p2;
  begin
    
  end;
begin
  
end.