RUMP_SYS_RENAME_GETPGRP
#ifndef RUMP_SYS_RENAME_GETPGRP
int rump_sys_getpgrp(void) __RENAME(RUMP_SYS_RENAME_GETPGRP);