spice_sys
pub unsafe extern "C" fn timout_c( et: c_double, pictur: *const c_char, lenout: c_int, output: *mut c_char)
converts ET seconds past J2000 to a time string.