((
  (eax <- 5)
  (call :f1)
  (eax <- (print eax))  
  )
 (:f1
   (eax += 4)
   (eax <- (print eax))  
   (tail-call :f3))
 (:f2
   (eax += 4)
   (eax <- 5)
   (return))
 (:f3
   (eax += 4)
   (eax <- (print eax))  
   (tail-call :f2))
)
