uses u_generics13;

begin
  t4.p1&<t3, t5>;
end.