RUMP_SYS_RENAME_DUP2
#ifndef RUMP_SYS_RENAME_DUP2
int rump_sys_dup2(int, int) __RENAME(RUMP_SYS_RENAME_DUP2);