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