Source position: libnettle.pp line 1240
type Thmac_sha1_ctx = record
outer: Tsha1_ctx;
inner: Tsha1_ctx;
state: Tsha1_ctx;
end;