problem ada

micropaquetage.ads
-------------
PACKAGE Micropaquetage IS
  function estdivisiblepar3 return boolean;


   end micropaquetage;

--------------
--------------

 micropaquetage.adb
-------------------
WITH Ada.integer_Text_IO;
   use ada.integer_Text_IO;
WITH Text_Io;
USE Text_Io;


PACKAGE BODY micropaquetage IS
   function estdivisiblepar3 return boolean IS
   TYPE Etat IS (R0,R1,R2);
   E:Etat:=R0;
   C:Character;

BEGIN

   WHILE NOT End_Of_File LOOP
      get(c);
      CASE E Is
         WHEN R0 =>  IF C='1' THEN E := R1;
            END IF;
         WHEN R1 =>  IF C='0' THEN E:=R2 ;
            ELSIF C='1' THEN E:=R0;
            END IF;
         WHEN R2=> IF C='0'THEN E:=R1;
            END IF;
      END CASE;

   END LOOP;



   IF E=R0 then
         RETURN True;
   ELSE return False;
   END IF;
       end estdivisiblepar3;
end micropaquetage;

---------------------------
---------------------------

main.adb
---------------------------
WITH Text_Io;
USE Text_Io;
WITH Micropaquetage;
USE Micropaquetage;
WITH Ada.integer_Text_IO;
use ada.integer_Text_IO;

PROCEDURE main IS
   G:Boolean;

BEGIN

   Put_line("entrer un binaire");

   G:=estdivisiblepar3;
   IF G=true THEN Put("Oui il est divisible par 3");
      ELSE Put("non il n'est pas divisible par 3");
         end if;
   end main;
-----------------------