8",
                                 "2/20550:37",
                                 "2/20564:19"
                              };
 
      /*
      Local automatic variables:
      */
      SpiceBoolean            found;
 
      SpiceChar               sclkout [ TIMLEN ];
      SpiceChar               utc     [ TIMLEN ];
 
      SpiceDouble             cmat [3][3];
      SpiceDouble             et;
      SpiceDouble             timein;
      SpiceDouble             timeout;
      SpiceDouble             tol;