package Mccabe_Predicates is

    --====================================================
    -- This package contains the definition of McCabe   ==
    -- predicates count and an operation used to modify ==
    -- an object of type Count.                         ==
    --====================================================

    type Count is new Natural;
    procedure Change (Pi : in out Count; With_Delta : in Integer := 1);

end Mccabe_Predicates;