procedure _A (B : Integer) is abstract;
