Outside, many people were celebrating, making cheerful noises.