RUMP_SYS_RENAME_CLOCK_SETTIME
int rump_sys_clock_settime(clockid_t, const struct timespec *) __RENAME(RUMP_SYS_RENAME_CLOCK_SETTIME);
#ifndef RUMP_SYS_RENAME_CLOCK_SETTIME