type
  //
  T1{@type T1 = procedure@} = procedure;

begin
end.