Symbol: splice_folio_into_pipe