RUMP_SYS_RENAME_FACCESSAT
int rump_sys_faccessat(int, const char *, int, int) __RENAME(RUMP_SYS_RENAME_FACCESSAT);
#ifndef RUMP_SYS_RENAME_FACCESSAT