libcrux_ml_kem_utils_into_padded_array_b6
libcrux_ml_kem_utils_into_padded_array_b6(seed_for_A, ret);
libcrux_ml_kem_utils_into_padded_array_b6(
libcrux_ml_kem_utils_into_padded_array_b6(seed, ret);