#[unsafe(no_mangle)]pub extern "C" fn cvec_u64_destroy( cvec_ptr: *mut CVecVal<u64>, ) -> CResultVal<bool>