RUMP_SYS_RENAME_SETPGID
#ifndef RUMP_SYS_RENAME_SETPGID
int rump_sys_setpgid(pid_t, pid_t) __RENAME(RUMP_SYS_RENAME_SETPGID);