MulMod auto-magic