RUMP_SYS_RENAME_FCNTL
#ifndef RUMP_SYS_RENAME_FCNTL
int rump_sys_fcntl(int, int, ...) __RENAME(RUMP_SYS_RENAME_FCNTL);