Source position: libnettle.pp line 1548
type Tsha3_256_ctx = record
state: Tsha3_state;
index: Tcunsigned;
block: array [0..135] of Tuint8_t;
end;