Source position: libnettle.pp line 725
type Tchacha_ctx = record
state: array [0..15] of Tuint32_t;
end;