slide: Dining philosophers