A crowd of spectators in the audience held red flags, swaying and shouting, singing cheerfully.