Source position: libnettle.pp line 646
type Tcast128_ctx = record
rounds: Tcunsigned;
Kr: array [0..15] of Tcuchar;
Km: array [0..15] of Tuint32_t;
end;