1package sync1 is
2   type Chopstick_Type is synchronized interface;
3
4   type Chopstick is synchronized new Chopstick_Type with private;
5private
6   protected type Chopstick is new Chopstick_Type with
7      entry Pick_Up;
8      procedure Put_Down;
9   private
10      Busy : Boolean := False;
11   end Chopstick;
12end sync1;
13