Source position: libnettle.pp line 1077
var nettle_ed25519_sha512_public_key: procedure(
pub: Puint8_t;
priv: Puint8_t
);