Source position: libgmp.pp line 386
var mpz_setbit: procedure(
para1: Tmpz_ptr;
para2: Tmp_bitcnt_t
);