clock_gettime(0x53b200a05bffe5dd, 0x0)