task type Semaphore is
     entry Wait;
     entry Signal;
end  Semaphore;

task body Semaphore is
 begin
  loop
   accept Wait;
   accept Signal;
  end loop;
end Semaphore;