A welder is using an industrial welding machine in a workshop.