Source position: libnettle.pp line 1578
var nettle_sha3_512_update: procedure(
ctx: Psha3_512_ctx;
length: Tsize_t;
data: Puint8_t
);