RUMP_SYS_RENAME_CLOSE
#ifndef RUMP_SYS_RENAME_CLOSE
int rump_sys_close(int) __RENAME(RUMP_SYS_RENAME_CLOSE);