Symbol: libcrux_ml_kem_ind_cpa_serialize_vector_1b