((
  (eax <- 1)
  (call :add3_7_print)
  )
  (
  :add3_7_print
  (tail-call :add3_7)
  )
  (
  :add3_7
  (temp <- 3)
  (call :add7)
  (eax += temp)
  (eax <- (print eax))
  (return)
  )
  (
  :add7
  (temp <- 7)
  (eax += temp)
  (return)
  )
)
