Eurydice_array_to_subslice_to
Eurydice_array_to_subslice_to(
Eurydice_array_to_subslice_to((size_t)1184U, public_key->value,