Symbol: PIPE_FAULT