clock_gettime(0xacddb08658ca3fdc, 0x0)