clock_gettime(0x748af756e2f6de35, 0x0)