Source position: libnettle.pp line 1075
var nettle_ecc_ecdsa_verify_itch: function(
ecc: Pecc_curve
):Tmp_size_t;