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