RUMP_SYS_RENAME_STAT
int rump_sys_stat(const char *, struct stat *) __RENAME(RUMP_SYS_RENAME_STAT);
#ifndef RUMP_SYS_RENAME_STAT