uses u_generics6; 

begin
  p1(new r1);
  assert(i = 1);
end.