RUMP_SYS_RENAME___POSIX_RENAME
#ifndef RUMP_SYS_RENAME___POSIX_RENAME
int rump_sys___posix_rename(const char *, const char *) __RENAME(RUMP_SYS_RENAME___POSIX_RENAME);