Source position: libnettle.pp line 814
type Tcmac_aes128_ctx = record
key: Tcmac128_key;
ctx: Tcmac128_ctx;
cipher: Taes128_ctx;
end;