RUMP_SYS_RENAME_DUP3
int rump_sys_dup3(int, int, int) __RENAME(RUMP_SYS_RENAME_DUP3);
#ifndef RUMP_SYS_RENAME_DUP3