pub const JADE_HASH_SHA3_512_AMD64_REF_ALGNAME: &[u8; 9] = b"SHA3-512\0";