-- /usr/users/brock/431/progs/tasksem.ada

package body TESTPACK is

task body semifor is
  I: NATURAL ;
begin
  I := 0 ;
  loop
    select
      when I > 0 =>
	accept lessless do
	  I := I-1 ;
	end lessless ;
    or
      accept moremore do
	I := I+1 ;
      end moremore ;
    or
      terminate ;
    end select ;
  end loop ;
end semifor ;

end TESTPACK ;