type
  t<{!}T1> = class
    f: {@}T1;  
  end;

begin end.