overriding procedure A (B : Integer) is abstract;