Added dining philosophers.