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