clock_gettime(0xf919a1108cfaa5a7, 0x0)