RUMP_SYS_RENAME_SELECT
#ifndef RUMP_SYS_RENAME_SELECT
int rump_sys_select(int, fd_set *, fd_set *, fd_set *, struct timeval *) __RENAME(RUMP_SYS_RENAME_SELECT);