Source position: libnettle.pp line 935
type Tsha512_ctx = record
state: array [0..7] of Tuint64_t;
count_low: Tuint64_t;
count_high: Tuint64_t;
index: TCuint;
block: array [0..127] of Tuint8_t;
end;