Source position: libnettle.pp line 1538
type Tsha3_state = record
a: array [0..24] of Tuint64_t;
end;