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