(((call :L_1))
 (:L_1
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (a <- 3)
  (a -= 4)
  (eax <- (allocate 7 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  ((mem eax 12) <- 5)
  (allocatebindingx <- eax)
  (eax <- (print a))
  (eax <- eax)
  (return)))
