o3
Eurydice_slice o3[1U];
memcpy(o3, uu____3.fst, (size_t)1U * sizeof(Eurydice_slice));
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o3);
unsigned int o0, o1, o2, o3, o4, o5;
i = sscanf(a, "%x:%x:%x:%x:%x:%x", &o0, &o1, &o2, &o3, &o4, &o5);
e->octet[3]=o3;
unsigned int o0, o1, o2, o3, o4, o5, o6, o7;
&o0, &o1, &o2, &o3, &o4, &o5, &o6, &o7);
&o0, &o1, &o2, &o3, &o4, &o5, &o6, &o7);
&o0, &o1, &o2, &o3, &o4, &o5, &o6, &o7);
o3 = 0xff;
o3 = 0xff;
e->octet[3]=o3;
case o3:
/*cc*/ { "int", false, NONE, op1(o3), 0 },
uint16_t o1, o2, o3, tmp;
urtw_read16_m(sc, URTW_RF_PINS_SELECT, &o3);
urtw_write16_m(sc, URTW_RF_PINS_SELECT, o3 | URTW_RF_PINS_MAGIC4);
urtw_write16_m(sc, URTW_RF_PINS_SELECT, o3);
case o3:
/*cc*/ { "int", false, NONE, op1(o3), 0 },
unsigned int o0, o1, o2, o3, o4, o5;
i = sscanf(a, "%x:%x:%x:%x:%x:%x", &o0, &o1, &o2, &o3, &o4, &o5);
o.octet[3]=o3;