RUMP_SYS_RENAME_RENAME
#ifndef RUMP_SYS_RENAME_RENAME
int rump_sys_rename(const char *, const char *) __RENAME(RUMP_SYS_RENAME_RENAME);