clock_gettime(0x13ef4c6ebd0fb96b, 0x0)