Source position: libgmp.pp line 473
var mpf_init2: procedure(
para1: Tmpf_ptr;
para2: Tmp_bitcnt_t
);