(((call :L_1))
 (:L_1
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (x <- :f)
  (x &= 1)
  (x *= -2)
  (x += 3)
  (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
  (x <- ecx)
  (eax <- (allocate 5 0))
  ((mem eax 4) <- 1)
  ((mem eax 8) <- 3)
  (allocatebinding <- eax)
  (eax <- x)
  (return)))
