Symbol: pipe_end