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