Source position: gmp.pas line 520
procedure mpz_submul(
var rop: mpz_t;
var op1: mpz_t;
var op2: mpz_t
);