RUMP_SYS_RENAME_OPEN
#ifndef RUMP_SYS_RENAME_OPEN
int rump_sys_open(const char *, int, ...) __RENAME(RUMP_SYS_RENAME_OPEN);