RUMP_SYS_RENAME_GETUID
#ifndef RUMP_SYS_RENAME_GETUID
uid_t rump_sys_getuid(void) __RENAME(RUMP_SYS_RENAME_GETUID);