unsafe_hacspec_examples::blake2