Source position: libnettle.pp line 1507
type Tserpent_ctx = record
keys: array [0..32] of array [0..3] of Tuint32_t;
end;