The manufacture of aircraft pipes.