pub unsafe extern "C" fn Hacl_FFDHE_ffdhe_shared_secret_precomp( a: Spec_FFDHE_ffdhe_alg, p_r2_n: *mut u64, sk: *mut u8, pk: *mut u8, ss: *mut u8, ) -> u64