uses u_methodcall1; 
begin 
  p1;
  assert(i = 1);
end.