Source position: libnettle.pp line 284
type Taes128_ctx = record
keys: array [0..(4*(10+1))-1] of Tuint32_t;
end;