spice_sys
pub unsafe extern "C" fn sct2e_c(sc: c_int, sclkdp: c_double, et: *mut c_double)
converts an encoded SCLK to ET seconds past J2000.