Outside, in the noise, the workers were working.