RUMP_SYS_RENAME_GETPPID
#ifndef RUMP_SYS_RENAME_GETPPID
pid_t rump_sys_getppid(void) __RENAME(RUMP_SYS_RENAME_GETPPID);