uot;,  
                     (int)SPICE_CELL_ELEM_I( &amp;bodids, i) );

            /.
            Get the surface IDs for the Ith body.
            ./
            <b>dsksrf_c</b> ( dsk, SPICE_CELL_ELEM_I( &amp;bodids, i), &amp;srfids );

            for ( j = 0;  j &lt; <a href="card_c.html">card_c</a>( &amp;srfids );  j++ )
            {
               printf ( &quot;   Surface ID:  %d\n&quot;,  
                        (int)SPICE_CELL_ELEM_I( &amp;srfids, j) );   
            }
         }    
         r