RUMP_SYS_RENAME_FHOPEN
int rump_sys_fhopen(const void *, size_t, int) __RENAME(RUMP_SYS_RENAME_FHOPEN);
#ifndef RUMP_SYS_RENAME_FHOPEN