pub static nettle_sha512: nettle_hash