mod_add computes a modular sum: it adds b and c, reduces the result modulo n, and writes the value to a. The GMP implementation uses a temporary mpz_t value, then clears it. section 2.3
Its execution flow is deliberately small:
- Clear the temporary value after the output is computed. section 2.3
