(((call :L_1))
 (:L_1
  (eax <- (allocate 3 0))
  ((mem eax 4) <- 1)
  (allocatebinding <- eax)
  (ecx <- 43)
  (tail-call :f))
 (:f
  (x <- ecx)
  (eax <- (allocate 5 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  (allocatebinding <- eax)
  (ecx <- x)
  (edx <- x)
  (tail-call :g))
 (:g
  (x <- ecx)
  (y <- edx)
  (eax <- (allocate 7 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  ((mem eax 12) <- 5)
  (allocatebinding <- eax)
  (ecx <- x)
  (edx <- y)
  (eax <- y)
  (tail-call :h))
 (:h
  (x <- ecx)
  (y <- edx)
  (z <- eax)
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (eax <- (print x))
  (d1 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingx <- eax)
  (eax <- (print y))
  (d2 <- eax)
  (eax <- (allocate 17 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  ((mem eax 12) <- 5)
  ((mem eax 16) <- 7)
  ((mem eax 20) <- 9)
  ((mem eax 24) <- 11)
  ((mem eax 28) <- 13)
  ((mem eax 32) <- 15)
  (allocatebindingxx <- eax)
  (eax <- (print z))
  (eax <- eax)
  (return)))
