package Loc_Executable_Statements is

    --===================================================================
    -- This package contains definition of LOC executable statements   ==
    -- count and an operation used to change an object of type Count.  ==
    --===================================================================

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

end Loc_Executable_Statements;