package All_Violations is

   First_Time : Boolean := False;

   function Increment return Integer;

   procedure Log (X : Integer);

   function Increment_And_Log (X : Integer) return Integer;

end All_Violations;
