Symbol: pipe_fault_handler