On the grass outside, a crowd played a game and made a happy sound.