RUMP_SYS_RENAME_SETSID
#ifndef RUMP_SYS_RENAME_SETSID
int rump_sys_setsid(void) __RENAME(RUMP_SYS_RENAME_SETSID);