RUMP_SYS_RENAME_SETREGID
#ifndef RUMP_SYS_RENAME_SETREGID
int rump_sys_setregid(gid_t, gid_t) __RENAME(RUMP_SYS_RENAME_SETREGID);