2530   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_sha512()  local
2532   libcrux_sha3_portable_keccakx1_ce(buf0, buf);  in libcrux_sha3_portable_sha512()
2889   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_sha256()  local
2891   libcrux_sha3_portable_keccakx1_ce0(buf0, buf);  in libcrux_sha3_portable_sha256()
3017   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_shake256()  local
3019   libcrux_sha3_portable_keccakx1_ce1(buf0, buf);  in libcrux_sha3_portable_shake256()
3624   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_sha224()  local
3626   libcrux_sha3_portable_keccakx1_ce2(buf0, buf);  in libcrux_sha3_portable_sha224()
3983   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_sha384()  local
3985   libcrux_sha3_portable_keccakx1_ce3(buf0, buf);  in libcrux_sha3_portable_sha384()
4279   Eurydice_slice buf0[1U] = {data};  in libcrux_sha3_portable_shake128()  local
4281   libcrux_sha3_portable_keccakx1_ce4(buf0, buf);  in libcrux_sha3_portable_shake128()