RUMP_SYS_RENAME_ACCESS
int rump_sys_access(const char *, int) __RENAME(RUMP_SYS_RENAME_ACCESS);
#ifndef RUMP_SYS_RENAME_ACCESS