libcrux_sha3_simd_portable_squeeze_9b_b2
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, (size_t)0U, output_len);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, (size_t)0U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, i0 * (size_t)136U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, output_len - output_rem, output_rem);
libcrux_sha3_simd_portable_squeeze_9b_b2(self, out, (size_t)0U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(self, out, start, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&self->inner, out, (size_t)0U, out_len);
libcrux_sha3_simd_portable_squeeze_9b_b2(&self->inner, out, (size_t)0U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&self->inner,
libcrux_sha3_simd_portable_squeeze_9b_b2(&self->inner, out, last, out_len - last);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, (size_t)0U, output_len);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, (size_t)0U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, i0 * (size_t)136U, (size_t)136U);
libcrux_sha3_simd_portable_squeeze_9b_b2(&s, output, output_len - output_rem, output_rem);