f3
#define u0(p) bytes2word(f2(p), p, p, f3(p))
#define u1(p) bytes2word(f3(p), f2(p), p, p)
#define u2(p) bytes2word(p, f3(p), f2(p), p)
#define u3(p) bytes2word(p, p, f3(p), f2(p))
w = bytes2word(f2(b), b, b, f3(b));
subRound(A, B, C, D, E, f3, K3, expand(eData, i));
subRound( A, B, C, D, E, f3, K3, expand( eData, 40 ) );
subRound( E, A, B, C, D, f3, K3, expand( eData, 41 ) );
subRound( D, E, A, B, C, f3, K3, expand( eData, 42 ) );
subRound( C, D, E, A, B, f3, K3, expand( eData, 43 ) );
subRound( B, C, D, E, A, f3, K3, expand( eData, 44 ) );
subRound( A, B, C, D, E, f3, K3, expand( eData, 45 ) );
subRound( E, A, B, C, D, f3, K3, expand( eData, 46 ) );
subRound( D, E, A, B, C, f3, K3, expand( eData, 47 ) );
subRound( C, D, E, A, B, f3, K3, expand( eData, 48 ) );
subRound( B, C, D, E, A, f3, K3, expand( eData, 49 ) );
subRound( A, B, C, D, E, f3, K3, expand( eData, 50 ) );
subRound( E, A, B, C, D, f3, K3, expand( eData, 51 ) );
subRound( D, E, A, B, C, f3, K3, expand( eData, 52 ) );
subRound( C, D, E, A, B, f3, K3, expand( eData, 53 ) );
subRound( B, C, D, E, A, f3, K3, expand( eData, 54 ) );
subRound( A, B, C, D, E, f3, K3, expand( eData, 55 ) );
subRound( E, A, B, C, D, f3, K3, expand( eData, 56 ) );
subRound( D, E, A, B, C, f3, K3, expand( eData, 57 ) );
subRound( C, D, E, A, B, f3, K3, expand( eData, 58 ) );
subRound( B, C, D, E, A, f3, K3, expand( eData, 59 ) );
(KRML_CLITERAL(Eurydice_arr_ff_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
(KRML_CLITERAL(Eurydice_arr_c5_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
(KRML_CLITERAL(Eurydice_arr_ff_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
uint8_t f3;
Eurydice_array_to_slice_shared_58(&randomnesses0.f3),
Eurydice_array_to_slice_shared_58(&randomnesses.f3),
Eurydice_array_to_slice_shared_58(&randomnesses.f3),
Eurydice_array_to_slice_shared_58(&randomnesses.f3),
uint8_t f3;
Eurydice_array_to_slice_shared_58(&randomnesses.f3),
libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37(Eurydice_array_to_slice_shared_2c(&randomnesses.f3),
libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37(Eurydice_array_to_slice_shared_2c(&randomnesses.f3),
libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37(Eurydice_array_to_slice_shared_2c(&randomnesses.f3),
libcrux_ml_dsa_sample_rejection_sample_less_than_field_modulus_37(Eurydice_array_to_slice_shared_2c(&randomnesses.f3),
int16_t f3;
(KRML_CLITERAL(uint8_t_x4){ .fst = result0, .snd = result1, .thd = result2, .f3 = result3 });
result0_3.fst, result0_3.snd, result0_3.thd, result0_3.f3, result4_7.fst, result4_7.snd,
result4_7.thd, result4_7.f3
.f3 = v3,
v0_7.fst, v0_7.snd, v0_7.thd, v0_7.f3, v0_7.f4, v0_7.f5, v0_7.f6, v0_7.f7, v8_15.fst,
v8_15.snd, v8_15.thd, v8_15.f3, v8_15.f4, v8_15.f5, v8_15.f6, v8_15.f7
return (KRML_CLITERAL(uint8_t_x5){ .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4 });
r0_4.fst, r0_4.snd, r0_4.thd, r0_4.f3, r0_4.f4, r5_9.fst, r5_9.snd, r5_9.thd, r5_9.f3,
r5_9.f4, r10_14.fst, r10_14.snd, r10_14.thd, r10_14.f3, r10_14.f4, r15_19.fst, r15_19.snd,
r15_19.thd, r15_19.f3, r15_19.f4
.f3 = r3,
v0_7.fst, v0_7.snd, v0_7.thd, v0_7.f3, v0_7.f4, v0_7.f5, v0_7.f6, v0_7.f7, v8_15.fst,
v8_15.snd, v8_15.thd, v8_15.f3, v8_15.f4, v8_15.f5, v8_15.f6, v8_15.f7
Eurydice_borrow_slice_u8 implicit_rejection_value = uu____0.f3;
Eurydice_borrow_slice_u8 implicit_rejection_value = uu____0.f3;
Eurydice_arr_c5 f3;
Eurydice_arr_ff f3;
Eurydice_borrow_slice_u8 f3;
.f3 = implicit_rejection_value
f3 = ((h3 >> 18) | (h4 << 8)) + (uint64_t)U8TO32_LE(&key[28]);
U32TO8_LE(&out[ 8], f2); f3 += (f2 >> 32);
U32TO8_LE(&out[12], f3);
uint64_t f0,f1,f2,f3;
int32_t f3 = f[3];
int32_t f3_2 = 2 * f3;
int64_t f3g0 = f3 * (int64_t)g0;
int64_t f3g2 = f3 * (int64_t)g2;
int64_t f3g4 = f3 * (int64_t)g4;
int64_t f3g6 = f3 * (int64_t)g6;
int64_t f3g8_19 = f3 * (int64_t)g8_19;
int32_t f3 = f[3];
int32_t f3_2 = 2 * f3;
int64_t f0f3_2 = f0_2 * (int64_t)f3;
int64_t f2f3_2 = f2_2 * (int64_t)f3;
int64_t f3f3_2 = f3_2 * (int64_t)f3;
int32_t f3 = f[3];
int32_t f3_2 = 2 * f3;
int64_t f0f3_2 = f0_2 * (int64_t)f3;
int64_t f2f3_2 = f2_2 * (int64_t)f3;
int64_t f3f3_2 = f3_2 * (int64_t)f3;
int32_t f3 = f[3];
int64_t h3 = f3 * (int64_t)121666;
try(char *f0, char *f1, char *f2, char *f3, char *f4, int opts)
if (err != 0 && (f3 != NULL || err != REG_NOMATCH)) {
} else if (f3 == NULL) {
} else if ((grump = check(f2, subs[0], f3)) != NULL) {
uint16_t f2, f3;
f3 = ntohs(SMBIOS_GET16(addr, 6));
f3 = le16toh(SMBIOS_GET16(addr, 6));
f1, f2, f3, SMBIOS_GET8(addr, 8), SMBIOS_GET8(addr, 9),
#define GMUX(r, gb, gi, nm, f1, f2, f3, f4) \
.functions = {#f1, #f2, #f3, #f4}, \
#define FMUX(r, nm, f1, f2, f3, f4) \
.functions = {#f1, #f2, #f3, #f4}, \
#define GMUX(r, gb, gi, nm, f1, f2, f3, f4, gr, dn_s, dn_w, up_s, up_w) \
.functions = {#f1, #f2, #f3, #f4}, \
#define FMUX(r, nm, f1, f2, f3, f4, gr, dn_s, dn_w, up_s, up_w) \
.functions = {#f1, #f2, #f3, #f4}, \
goto f3;
f3: /* Removable Medium */
u_int8_t f3,
mc->mc_mailbox[0x7] = f3;
u_int8_t f3,
mc->mc_mailbox[0x4] = f3;
u_int16_t f3,
mc->mc_mailbox[0x4] = f3 & 0xff;
mc->mc_mailbox[0x5] = (f3 >> 8) & 0xff;
u_int32_t f3,
mc->mc_mailbox[0x8] = f3 & 0xff;
mc->mc_mailbox[0x9] = (f3 >> 8) & 0xff;
mc->mc_mailbox[0xa] = (f3 >> 16) & 0xff;
mc->mc_mailbox[0xb] = (f3 >> 24) & 0xff;
u_int32_t f3,
mc->mc_mailbox[0x4] = f3 & 0xff;
mc->mc_mailbox[0x5] = (f3 >> 8) & 0xff;
mc->mc_mailbox[0x6] = (f3 >> 16) & 0xff;
mc->mc_mailbox[0x7] = (f3 >> 24) & 0xff;
ASAN_SET_SHADOW(f3);
SYSBEGIN(f3)
#define FP_TOF(exp, expbias, allfrac, f0, f1, f2, f3) \
fp->fp_mant[3] = f3; \
fp->fp_mant[3] = f3; \
fp->fp_mant[3] = f3; \