RUMP_SYS_RENAME_TIMER_SETTIME
int rump_sys_timer_settime(timer_t, int, const struct itimerspec *, struct itimerspec *) __RENAME(RUMP_SYS_RENAME_TIMER_SETTIME);
#ifndef RUMP_SYS_RENAME_TIMER_SETTIME