Dining philosophers.