(((call :foo))
 (
  :foo
  ;;(esp -= 8)
  ;;((mem ebp -4) <- var)
  ;;((mem ebp -8) <- edi)
  (var <- 9)
  :start
  (eax <- (print 1)) ;; will print
  (goto :label)
  (eax <- (print 3)) ;; won't print
  :label
  (var -= 2)
  (cjump 1 < var :start :end)
  :end
  ;;(edi <- (mem ebp -8))
  ;;(var <- (mem ebp -4))
  ;;(esp += 8)
  (return)
  )
 )
  
