A man was cutting a pipe with a power saw, and there was a murmur of machines.