Eurydice_array_to_slice_shared_82
Eurydice_array_to_slice_shared_82(&lvalue));
Eurydice_array_to_slice_shared_82(&lvalue));
Eurydice_array_to_slice_shared_82(&lvalue));
Eurydice_array_to_slice_shared_82(&bytes),