Source position: libnettle.pp line 1542
type Tsha3_224_ctx = record
state: Tsha3_state;
index: Tcunsigned;
block: array [0..143] of Tuint8_t;
end;