pub unsafe extern "C" fn Hacl_Blake2s_128_store_state128s_to_state32(
st32: *mut u32,
st: *mut Lib_IntVector_Intrinsics_vec128,
)
pub unsafe extern "C" fn Hacl_Blake2s_128_store_state128s_to_state32(
st32: *mut u32,
st: *mut Lib_IntVector_Intrinsics_vec128,
)