Two red-clad ping-pong players were playing ping-pong, surrounded by voices and cheers.