Constant cspice_sys::SPICE_DSK_FRMIDX

pub const SPICE_DSK_FRMIDX: u32 = 4;