S1: wait(foodOrder)
S2: eat()
S3: signal(foodOrder)

Beginning foodOrder = 4

Matt orders
Matt S1: foodOrder value = 3
Matt S2: eat()

James orders
James S1: foodOrder value = 2
James S2: eat()

Larry orders
Larry S1: foodOrder value = 1
Larry S2: eat()

Laura orders
Laura S1: foodOrder value = 0
Laura S2: eat()

Jessica tries to order
Jessica S1: foodOrder = (0{Jessica})