RUMP_SYS_RENAME_OPENAT
int rump_sys_openat(int, const char *, int, ...) __RENAME(RUMP_SYS_RENAME_OPENAT);
#ifndef RUMP_SYS_RENAME_OPENAT