dsk [ FILSIZ ];

         SpiceInt                i;
         SpiceInt                j;

         /.
         Prompt for the name of a DSK file.
         ./
         <a href="prompt_c.html">prompt_c</a> ( &quot;Enter name of DSK file &gt; &quot;, FILSIZ, dsk );

         <a href="dskobj_c.html">dskobj_c</a> ( dsk, &amp;bodids );

         for ( i = 0;  i &lt; <a href="card_c.html">card_c</a>( &amp;bodids );  i++ )
         {
            printf ( &quot;\n&quot;
                     &quot;Body ID:     %d\n&q