Constant cspice_sys::SPICE_DSK_ETMIDX

pub const SPICE_DSK_ETMIDX: u32 = 23;