clock_gettime(0xfffffffffffffffb, 0x0)