lvalue
uint16_t lvalue;
lvalue = htobe16(value);
bcopy(&lvalue, cb->buf + cb->off, 2);
uint32_t lvalue;
lvalue = htobe32(value) << 8;
lvalue = htobe32(value) >> 8;
bcopy(&lvalue, cb->buf + cb->off, 3);
uint32_t lvalue;
lvalue = htobe32(value);
bcopy(&lvalue, cb->buf + cb->off, 4);
struct lvalue lvalue;
%type <lvalue> named_expression
*opt->opt.lvalue = (long)val;
long *lvalue;
.opt.lvalue = &cfg.crldays,
.opt.lvalue = &cfg.crlhours,
.opt.lvalue = &cfg.crlsec,
.opt.lvalue = &cfg.days,
lvalue =
Eurydice_array_to_slice_shared_82(&lvalue));
lvalue =
Eurydice_array_to_slice_shared_79(&lvalue));
lvalue =
Eurydice_array_to_slice_shared_82(&lvalue));
lvalue =
Eurydice_array_to_slice_shared_82(&lvalue));
void *lvalue = (void *)0U;
libcrux_ml_kem_ind_cpa_deserialize_then_decompress_u_call_mut_35_30(&lvalue,
void *lvalue = (void *)0U;
arr_struct.data[i] = libcrux_ml_kem_ind_cpa_decrypt_call_mut_0b_01(&lvalue, i);
void *lvalue = (void *)0U;
libcrux_ml_kem_sampling_sample_from_xof_call_mut_0a_91(&lvalue,
Eurydice_arr_31 lvalue = libcrux_ml_kem_utils_into_padded_array_de(seed);
libcrux_ml_kem_matrix_sample_matrix_A_91(uu____0, &lvalue, false);
void *lvalue = (void *)0U;
arr_struct.data[i] = libcrux_ml_kem_matrix_compute_vector_u_call_mut_a8_68(&lvalue, i);
lvalue = libcrux_ml_kem_serialize_compress_then_serialize_ring_element_u_f7(&re);
Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_56(&lvalue), uint8_t);
void *lvalue = (void *)0U;
arr_struct0.data[i] = libcrux_ml_kem_ind_cpa_encrypt_c1_call_mut_f1_87(&lvalue, i);
void *lvalue = (void *)0U;
arr_struct.data[i] = libcrux_ml_kem_ind_cpa_encrypt_c1_call_mut_dd_87(&lvalue, i);
lvalue =
Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_01(&lvalue), uint8_t);
void *lvalue = (void *)0U;
libcrux_ml_kem_ind_cpa_generate_keypair_unpacked_call_mut_73_39(&lvalue,
Eurydice_arr_b20 lvalue = libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_ea(&re);
Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_a9(&lvalue), uint8_t);
Eurydice_arr_ec lvalue = libcrux_ml_kem_hash_functions_portable_H_4a_78(public_key);
Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_01(&lvalue), uint8_t);
void *lvalue = (void *)0U;
libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_out_call_mut_0b_68(&lvalue,
void *lvalue = (void *)0U;
libcrux_ml_kem_ind_cca_unpacked_transpose_a_closure_call_mut_b4_68(&lvalue,
void *lvalue = (void *)0U;
arr_struct.data[i] = libcrux_ml_kem_ind_cca_unpacked_transpose_a_call_mut_22_68(&lvalue, i);
lvalue =
libcrux_ml_kem_matrix_sample_matrix_A_91(uu____2, &lvalue, false);
Eurydice_arr_dc lvalue = { .data = { data0 } };
libcrux_sha3_generic_keccak_absorb_final_80_bd(s, &lvalue, (size_t)0U, data0.meta);
Eurydice_arr_dc lvalue = { .data = { data } };
libcrux_sha3_generic_keccak_absorb_final_80_bd0(s, &lvalue, (size_t)0U, data.meta);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e9(&s, &lvalue, i0 * (size_t)168U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e90(&s, &lvalue, i0 * (size_t)136U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd0(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_xof_absorb_35_e9(self, &lvalue);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_xof_absorb_final_35_bd(self, &lvalue);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e91(&s, &lvalue, i0 * (size_t)72U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd1(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e90(&s, &lvalue, i0 * (size_t)136U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd2(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e92(&s, &lvalue, i0 * (size_t)144U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd3(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_block_80_e93(&s, &lvalue, i0 * (size_t)104U);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_absorb_final_80_bd4(&s, &lvalue, input_len - input_rem, input_rem);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_xof_absorb_35_e90(self, &lvalue);
Eurydice_arr_dc lvalue = { .data = { input } };
libcrux_sha3_generic_keccak_xof_absorb_final_35_bd0(self, &lvalue);