clock_gettime(0x26d36a79b113568b, 0x0)