A welder is welding an exhaust pipe in a workshop.