package itypes is
   procedure Proc;
end;