RUMP_SYS_RENAME_GETEUID
#ifndef RUMP_SYS_RENAME_GETEUID
uid_t rump_sys_geteuid(void) __RENAME(RUMP_SYS_RENAME_GETEUID);