/test/416-optimizing-arith-not/