On the stage, a group of actors dressed in ornate costumes danced to a cheerful tune. There were cheers.