Symbol: alloc_pipe