(((call :L_9))
 (:L_9
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (ecx <- 11)
  (call :fib)
  (x_2 <- eax)
  (eax <- (allocate 7 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  ((mem eax 12) <- 5)
  (allocatebindingx <- eax)
  (eax <- (print x_2))
  (eax <- eax)
  (return))
 (:fib
  (n_1 <- ecx)
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (x_3 <- n_1 < 5)
  (x_3 += x_3)
  (x_3 += 1)
  (cjump x_3 = 1 :L_11 :L_10)
  :L_11
  (eax <- (allocate 3 3))
  (allocatebindingx <- eax)
  (x_4 <- n_1)
  (x_4 -= 2)
  (eax <- (allocate 3 3))
  (allocatebindingxx <- eax)
  (ecx <- x_4)
  (call :fib)
  (x_5 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxx <- eax)
  (x_6 <- n_1)
  (x_6 -= 4)
  (eax <- (allocate 3 3))
  (allocatebindingxxxx <- eax)
  (ecx <- x_6)
  (call :fib)
  (x_7 <- eax)
  (eax <- (allocate 25 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)
  ((mem eax 36) <- 17)
  ((mem eax 40) <- 19)
  ((mem eax 44) <- 21)
  ((mem eax 48) <- 23)
  (allocatebindingxxxxx <- eax)
  (eax <- x_5)
  (eax += x_7)
  (eax -= 1)
  (return)
  :L_10
  (eax <- (allocate 9 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  ((mem eax 12) <- 5)
  ((mem eax 16) <- 7)
  (allocatebindingx <- eax)
  (eax <- 3)
  (return)))
