package body Count_Statistics is

    Counters : array (Statistic) of Natural;

    procedure Initialize_Counters is
    begin
        Counters := (others => 0);
    end Initialize_Counters;

    procedure Increment_Counter (Counter : Statistic) is
    begin
        Counters (Counter) := Counters (Counter) + 1;
    end Increment_Counter;

    function Count (Counter : Statistic) return Natural is
    begin
        return Counters (Counter);
    end Count;

begin
    Initialize_Counters;
end Count_Statistics;