xv65: c runtime: pipe, dup