RUMP_SYS_RENAME_SETEUID
#ifndef RUMP_SYS_RENAME_SETEUID
int rump_sys_seteuid(uid_t) __RENAME(RUMP_SYS_RENAME_SETEUID);