protected body Event is
procedure Signal is
begin
Fired := True;
end Signal;
procedure Reset is
Fired := False;
end Reset;
entry Wait when Fired is
null;
end Wait;
end Event;