(((mem ebp -4) <- 0)
 (s0 <- (mem ebp -4))
 (cjump s0 <= 8 :funcCall :done)
 :funcCall
 (eax <- (mem ebp -4))
 (call :isdivbytwo)
 (eax <<= 1)
 (eax += 1)
 (eax <- (print eax))
 (s1 <- (mem ebp -4))
 (s1 += 1)
 ((mem ebp -4) <- s1)
 (goto :compare)
 :done
 :compare
 (eax &= 3)
 (cjump eax = 0 :yes :no)
 :no
 (eax <- 0)
 (return)
 :yes
 (eax <- 1)
 (return))
