Comment 4 for bug 1940296

And timer_settime():

#include <time.h>
#include <stdlib.h>

int main(void)
{
        timer_t t = (timer_t)0xe236f38802c65008ULL;
        struct itimerspec new, old;

        return timer_settime(t, 0, &new, &old);
}