not overriding procedure A (B : Integer; C : Natural);
