Eurydice_slice_subslice_to
Eurydice_slice_subslice_to(public_key, (size_t)1152U, uint8_t, size_t),
Eurydice_slice_subslice_to(inputs[i0], consumed, uint8_t, size_t),
Eurydice_slice_subslice_to(inputs[i0], consumed, uint8_t, size_t),