Dining Philosophers preliminary code