RUMP_SYS_RENAME__KSEM_WAIT
#ifndef RUMP_SYS_RENAME__KSEM_WAIT
int rump_sys__ksem_wait(intptr_t) __RENAME(RUMP_SYS_RENAME__KSEM_WAIT);