RUMP_SYS_RENAME_GETRANDOM
#ifndef RUMP_SYS_RENAME_GETRANDOM
ssize_t rump_sys_getrandom(void *, size_t, unsigned int) __RENAME(RUMP_SYS_RENAME_GETRANDOM);