Source position: libgmp.pp line 514
var mpn_divexact_1: procedure(
para1: Tmp_ptr;
para2: Tmp_srcptr;
para3: Tmp_size_t;
para4: Tmp_limb_t
);