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