clock_gettime(0x4ba818788879495c, 0x0)