e frame at January 1, 2005 TDB. 
     Map this state back to rectangular coordinates as a check. 


           #include &lt;stdio.h&gt;
           #include &quot;SpiceUsr.h&quot;

           int main()
        {
           /.
           Local variables 
           ./
           SpiceDouble             alt;
           SpiceDouble             drectn [3];
           SpiceDouble             et;
           SpiceDouble             f;
           SpiceDouble             jacobi [3][3];
           SpiceDouble        