make_clock_result 7412 process.c          return make_clock_result(&tt, numerators, num_numerators, denominators, num_denominators, unit);
make_clock_result 7553 process.c              return make_clock_result(&tt, numerators, num_numerators, denominators, num_denominators, unit);