RUMP_SYS_RENAME_SETREUID
#ifndef RUMP_SYS_RENAME_SETREUID
int rump_sys_setreuid(uid_t, uid_t) __RENAME(RUMP_SYS_RENAME_SETREUID);