Barber problem with state machine (abandoned)