pub unsafe extern "C" fn nettle_knuth_lfib_get_array(
    ctx: *mut knuth_lfib_ctx,
    n: usize,
    a: *mut u32
)