clock_gettime(0x7e33e4d8f271b816, 0x0)