Source position: libnettle.pp line 752
type tnettle_poly1305_set_keytype = array [0..15] of Tuint8_t;