clock_gettime(0xdd3e1c15a9a291c2, 0x0)