pub unsafe extern "C" fn Hacl_Blake2b_256_store_state256b_to_state32( st32: *mut u64, st: *mut *mut c_void, )