Corp du programme principale

begin -- Programme_Test

   Accueil;

   loop
      begin

         New_Line;
         Put_Line ( "MENU PRINCIPAL" );
         Put_Line ( "[ 1 ]   Tester la procedure Effacer" );
         Put_Line ( "[ 2 ]   Tester la procedure Inserer" );
         Put_Line ( "[ 3 ]   Tester la procedure Supprimer" );
         Put_Line ( "[ 4 ]   Tester la procedure Rechercher" );
         Put_Line ( "[ 5 ]   Tester la procedure Parcourir" );
         New_Line;
         Put_Line ( "[ 0 ]   Quitter" );
         New_Line;

         Put ( "Votre choix : " );
         Get ( Choix );
         Skip_Line;

         case Choix is
            when 0 =>
               exit;

            when 1 =>
               Test_Effacer;

            when 2 =>
               Test_Inserer;

            when 3 =>
               Test_Supprimer;

            when 4 =>
               Test_Rechercher;

            when 5 =>
               -- Attention. Test d'une procedure generique.
               -- Test_Parcourir;

         end case;

Ce programme principal est des plus standards. L'ensemble est inclus dans une boucle dont la sortie est effectuée grâce au "0" qui correspond à l'intitulé quitter du ``MENU PRINCIPAL''. Les autres cas sont les appels des procédures de test décritent dans les sous-chapitres précédents.
Le cas numéro 5, à été volontairement mis en commentaire car il s'agit de l'appel d'un sous-programme générique. Ce qui assure que dans le cas ou le paquetage ne serait lui pas générique, cet appel n'empêcherait pas la compilation du fichier puisque la procédure de test elle-même est également en commentaire.