On the stage, a group of actors dressed in ornate costumes danced to a cheerful tune. The audience was packed.