Source position: libgmp.pp line 515
var mpn_divexact_by3c: function(
para1: Tmp_ptr;
para2: Tmp_srcptr;
para3: Tmp_size_t;
para4: Tmp_limb_t
):Tmp_limb_t;