f0
Eurydice_arr_bb f0;
Eurydice_arr_5d f0;
libcrux_ml_dsa_types_VerificationError f0;
.f0 = libcrux_ml_dsa_types_VerificationError_MalformedHintError
Eurydice_arr_9d f0;
libcrux_ml_dsa_types_SigningError f0;
libcrux_ml_dsa_pre_hash_DomainSeparationContext f0;
*domain_separation_context0 = &domain_separation_context->f0;
const Eurydice_arr_c9 *pre_hash_oid = &uu____2->f0;
.f0 = commitment_hash_candidate
(KRML_CLITERAL(core_option_Option_d9){ .tag = core_option_Some, .f0 = mask });
.f0 = hint_candidate
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_ec commitment_hash = commitment_hash0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_9d signer_response = signer_response0.f0;
Eurydice_arr_b7 hint = hint0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_types_VerificationError_SignerResponseExceedsBoundError
.f0 = libcrux_ml_dsa_types_VerificationError_CommitmentHashesDontMatchError
libcrux_ml_dsa_types_VerificationError e = uu____1.f0;
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
.f0 = commitment_hash_candidate
(KRML_CLITERAL(core_option_Option_1e){ .tag = core_option_Some, .f0 = mask });
.f0 = hint_candidate
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_65 commitment_hash = commitment_hash0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_5d signer_response = signer_response0.f0;
Eurydice_arr_5d0 hint = hint0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_types_VerificationError_SignerResponseExceedsBoundError
.f0 = libcrux_ml_dsa_types_VerificationError_CommitmentHashesDontMatchError
libcrux_ml_dsa_types_VerificationError e = uu____1.f0;
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
.f0 = commitment_hash_candidate
(KRML_CLITERAL(core_option_Option_2d){ .tag = core_option_Some, .f0 = mask });
.f0 = hint_candidate
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_c7 commitment_hash = commitment_hash0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
Eurydice_arr_bb signer_response = signer_response0.f0;
Eurydice_arr_81 hint = hint0.f0;
.f0 = libcrux_ml_dsa_types_SigningError_RejectionSamplingError
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_types_SigningError_ContextTooLongError
libcrux_ml_dsa_types_SigningError e = uu____0.f0;
.f0 = libcrux_ml_dsa_types_VerificationError_SignerResponseExceedsBoundError
.f0 = libcrux_ml_dsa_types_VerificationError_CommitmentHashesDontMatchError
libcrux_ml_dsa_types_VerificationError e = uu____1.f0;
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
.f0 = libcrux_ml_dsa_pre_hash_oid_30()
.f0 = libcrux_ml_dsa_types_VerificationError_VerificationContextTooLongError
.f0 = domain_separation_context
Eurydice_arr_81 f0;
Eurydice_arr_c7 f0;
Eurydice_arr_5d0 f0;
Eurydice_arr_65 f0;
Eurydice_arr_b7 f0;
Eurydice_arr_ec f0;
Eurydice_arr_c9 f0;
EURYDICE_CFIELD(.f0 =) 0}) \
EURYDICE_CFIELD(.f0 =)(iter_ptr)->start++}))
.f0 = (t *)malloc_and_init(sizeof(t), (char *)(&init))})
f0 = ((h0 ) | (h1 << 26)) + (uint64_t)U8TO32_LE(&key[16]);
U32TO8_LE(&out[ 0], f0); f1 += (f0 >> 32);
uint64_t f0,f1,f2,f3;
int32_t f0, g0;
f0 = f[0];
for (i = 0; i < p + 1; ++i) g[i] = Fq_freeze(f0 * g[i] - g0 * f[i]);
for (i = 0; i < p + 1; ++i) r[i] = Fq_freeze(f0 * r[i] - g0 * v[i]);
int32_t f0 = f[0];
int64_t f0g0 = f0 * (int64_t)g0;
int64_t f0g1 = f0 * (int64_t)g1;
int64_t f0g2 = f0 * (int64_t)g2;
int64_t f0g3 = f0 * (int64_t)g3;
int64_t f0g4 = f0 * (int64_t)g4;
int64_t f0g5 = f0 * (int64_t)g5;
int64_t f0g6 = f0 * (int64_t)g6;
int64_t f0g7 = f0 * (int64_t)g7;
int64_t f0g8 = f0 * (int64_t)g8;
int64_t f0g9 = f0 * (int64_t)g9;
int32_t f0 = f[0];
int32_t f0_2 = 2 * f0;
int64_t f0f0 = f0 * (int64_t)f0;
int32_t f0 = f[0];
int32_t f0_2 = 2 * f0;
int64_t f0f0 = f0 * (int64_t)f0;
int32_t f0 = f[0];
int64_t h0 = f0 * (int64_t)121666;
try(char *f0, char *f1, char *f2, char *f3, char *f4, int opts)
strcpy(f0copy, f0);
u32 uninitialized_var(f0);
f0 = wr->send_flags & IB_SEND_FENCE ?
qp->send_wqe_offset) | f0 | op0,
u32 uninitialized_var(f0);
((qp->sq.head & 0xffff) << 8) | f0 | op0;
f0 = wr->send_flags & IB_SEND_FENCE ?
dbhi = (nreq << 24) | ((qp->sq.head & 0xffff) << 8) | f0 | op0;
#define FP_TOF(exp, expbias, allfrac, f0, f1, f2, f3) \
fp->fp_mant[0] = f0; \
fp->fp_mant[0] = f0; \
fp->fp_mant[0] = FP_1 | f0; \
u_int frac, f0, f1;
f0 = frac >> SNG_SHIFT;
FP_TOF(exp, SNG_EXP_BIAS, frac, f0, f1, 0, 0);
u_int frac, f0, f1, f2;
f0 = frac >> DBL_SHIFT;
FP_TOF(exp, DBL_EXP_BIAS, frac, f0, f1, f2, 0);
struct sdio_func f0, f1, f2;
brcmf_dev.func[0] = &f0;
int err, f0, fd, j;
f0 = file[0];
pp->printer, f0, file + 1, strerror(errno));