Source position: libnettle.pp line 688
type Tccm_aes256_ctx = record
ccm: Tccm_ctx;
cipher: Taes256_ctx;
end;