Function Hacl_Bignum64_new_bn_from_bytes_be 

pub unsafe extern "C" fn Hacl_Bignum64_new_bn_from_bytes_be(
    len: u32,
    b: *mut u8,
) -> *mut u64