Symbol: is_isoc_pipe