Source position: gmp.pas line 522
procedure mpz_submul_ui(
var rop: mpz_t;
var op1: mpz_t;
op2: valuint
);