procedure I (A : in out access procedure (A : Integer); B : Integer)