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