Eurydice_array_to_slice_shared_e9
libcrux_ml_dsa_hash_functions_portable_init_absorb_11(Eurydice_array_to_slice_shared_e9(&seed0),
Eurydice_array_to_slice_shared_e9(&seed1),
Eurydice_array_to_slice_shared_e9(&seed2),
Eurydice_array_to_slice_shared_e9(&seed3));
Eurydice_array_to_slice_shared_e9(&input->data[i0]));