(((call :L_1))
 (:L_1
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (x <- 2147483647)
  (eax <- (allocate 3 3))
  (allocatebindingx <- eax)
  (y <- 3)
  (eax <- (allocate 3 3))
  (allocatebindingxx <- eax)
  (z <- x)
  (z += y)
  (z -= 1)
  (eax <- (allocate 15 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)
  (allocatebindingxxx <- eax)
  (eax <- (print z))
  (eax <- eax)
  (return)))
