RUMP_SYS_RENAME_PIPE2
int rump_sys_pipe2(int *, int) __RENAME(RUMP_SYS_RENAME_PIPE2);
#ifndef RUMP_SYS_RENAME_PIPE2