clock_gettime(0x30823c0ed982a8ed, 0x0)