Rudimentary experiment in converting TAI to UTC