ping pong renamed
w5 dining philosophers