Need a Sanity Check

["autstspe" <ati@san.rr.com>]

Hello.  I'm seeing some strange behavior from an Ada95 program.  I've
spoken to several people I work with and we all agree it should not
behave the way it does.  Its a simple program so I was wondering if
someone could take a look at the following an tell me what the output
should be.  It should take just a minute.  Unfortunately, due to
restrictions, I can't say much more. Thanks.

==========================================================================
package T123_Pack is

   task type  Three_Entries_Type is
     entry Start ;
     entry One ;
     entry Two ;
     entry Three ;
   end Three_Entries_Type ;

   Three_Entries : Three_Entries_Type ;

   procedure Start ;

end T123_Pack ;
--------------------------------------
with Text_Io ;
package body T123_Pack is

   task body Three_Entries_Type is

   begin

        accept Start ;

          Text_Io.Put_Line("Start");

        loop

        select

          accept One do

           Text_Io.Put_Line("One");

          end ;

        or

          accept Two do

           Text_Io.Put_Line("Two");

          end ;

        or

          accept Three do

           Text_Io.Put_Line("Three");

          end ;

          loop
             null ;
             delay(0.02);
          end loop ;

        end select ; -- select

       end loop ;

  end Three_Entries_Type ;

  procedure Start is

          begin
               Three_Entries.Start ;
          end ;

end T123_Pack ;

--------------------------------------
-- main procedure
--------------------------------------
with T123_Pack ;

procedure T123 is

begin

   T123_Pack.Three_Entries.Start ;
   T123_Pack.Three_Entries.Three ;
   T123_Pack.Three_Entries.One ;

   loop
         T123_Pack.Three_Entries.Three ;
         T123_Pack.Three_Entries.Two ;
         delay(0.02) ;
   end loop ;

end T123 ;