RUMP_SYS_RENAME_GETDENTS
int rump_sys_getdents(int, char *, size_t) __RENAME(RUMP_SYS_RENAME_GETDENTS);
#ifndef RUMP_SYS_RENAME_GETDENTS