Updating: the DiningPhil example is functioning.