Source position: libnettle.pp line 1430
var nettle_pkcs1_rsa_sha512_encode_digest: function(
m: Pmpz_t;
length: Tsize_t;
digest: Puint8_t
):Tcint;