RUMP_SYS_RENAME_GETPGID
#ifndef RUMP_SYS_RENAME_GETPGID
pid_t rump_sys_getpgid(pid_t) __RENAME(RUMP_SYS_RENAME_GETPGID);