Outside, a crowd gathered, some playing music, some dancing.