(((eax <- 1)
  (goto :L1)
  :L3
  (eax += 8)
  (call :print_result)
  (goto :L4)
  :L2
  (eax += 4)
  (goto :L3)
  :L1
  (eax += 2)
  (goto :L2)
  :L4
  )
 (:print_result
  (eax <- (print eax))
  (return)))