(=> (when (imul $x $C)
          (is-power-of-two $C))
    (ishl $x $(log2 $C)))