Function Hacl_Bignum64_mont_ctx_init 

pub unsafe extern "C" fn Hacl_Bignum64_mont_ctx_init(
    len: u32,
    n: *mut u64,
) -> *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64