RUMP_SYS_RENAME_RENAMEAT
int rump_sys_renameat(int, const char *, int, const char *) __RENAME(RUMP_SYS_RENAME_RENAMEAT);
#ifndef RUMP_SYS_RENAME_RENAMEAT