mulZero rewrite