Source position: libnettle.pp line 801
type Tcmac128_ctx = record
X: Tnettle_block16;
block: Tnettle_block16;
index: Tsize_t;
end;