libcrux_sha3_portable_sha512
libcrux_sha3_portable_sha512(output, input);
libcrux_sha3_portable_sha512(Eurydice_array_to_slice_mut_17(&digest), input);
libcrux_sha3_portable_sha512(digest, payload);