Source position: libnettle.pp line 1039
type Tecc_point = record
ecc: Pecc_curve;
p: Pmp_limb_t;
end;