invmod(a, b)