lvalue
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);
long lvalue;
entry->value.value.userdata.lvalue,
lua_pushinteger(L,(lua_Integer)constants[i].lvalue);
char c = (char)constants[i].lvalue;
SWIG_NewMemberObj(L,constants[i].pvalue,constants[i].lvalue,*(constants[i]).ptype);
long lvalue;
lvalue = pathconf(path, _PC_NAME_MAX);
if (lvalue == -1 && errno != 0)
return (lvalue);
len = sizeof(lvalue);
if (sysctlbyname("kern.ipc.shmmin", &lvalue, &len, NULL,
len = sizeof(lvalue);
if (sysctlbyname("hw.availpages", &lvalue, &len, NULL, 0) == -1)
return (lvalue);
long lvalue, defaultresult;
avalue = jvalue = Jvalue = Lvalue = lvalue = Nvalue = nvalue = NULL;
lvalue = optarg;
if (strcmp(lvalue, "enable") &&
strcmp(lvalue, "disable")) {
if (strcmp(lvalue, "enable") == 0) {
} else if (strcmp(lvalue, "disable") == 0) {
const char *avalue, *jvalue, *Jvalue, *Lvalue, *lvalue, *Nvalue, *nvalue;
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);
u_long lvalue;
lvalue = maxphys;
return (sysctl_handle_long(oidp, &lvalue, 0, req));
if (lvalue > INT_MAX)
return (sysctl_handle_long(oidp, &lvalue, 0, req));
ivalue = lvalue;
long lvalue;
lvalue = 0;
lvalue += bdomain[i].bd_bufspace;
return (sysctl_handle_long(oidp, &lvalue, 0, req));
if (lvalue > INT_MAX)
return (sysctl_handle_long(oidp, &lvalue, 0, req));
ivalue = lvalue;
long lvalue;
lvalue = 0;
lvalue += bdomain[i].bd_bufspace;
return (sysctl_handle_long(oidp, &lvalue, 0, req));
alarm((unsigned int)lvalue(ETIMEOUT));
alarm((unsigned int)lvalue(ETIMEOUT));