Symbol: handle_pipedmc_fault