Source position: libnettle.pp line 928
type Tsha256_ctx = record
state: array [0..7] of Tuint32_t;
count: Tuint64_t;
index: TCuint;
block: array [0..63] of Tuint8_t;
end;