Source position: libnettle.pp line 795
type Tcmac128_key = record
K1: Tnettle_block16;
K2: Tnettle_block16;
end;