(((ebx <- 9)
  (cjump ebx < 11 :if0 :else0)
  
  :if0
  (eax <- (print 77)) ;; print this
  (cjump 11 < ebx :if1 :else1)
  
  :else0
  (eax <- (print 79))
  
  :if1
  (eax <- (print 81))
  (goto :end)
  
  :else1
  (eax <- (print 83)) ;; print this
  
  :end
  ))
  
  