The crowd sang high songs, and the flags swayed.