(((call :L_22))
 (:L_22
  (eax <- (allocate 3 3))
  (allocatebinding <- eax)
  (arr <- 11)
  (eax <- (allocate 3 3))
  (allocatebindingx <- eax)
  (eax <- (allocate 9 0))
  ((mem eax 4) <- 3)
  ((mem eax 8) <- 5)
  ((mem eax 12) <- arr)
  ((mem eax 16) <- 9)
  (x_1 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxx <- eax)
  (eax <- (print x_1))
  (trash <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxx <- eax)
  (x <- 5)
  (eax <- (allocate 3 3))
  (allocatebindingxxxx <- eax)
  (x_23 <- x)
  (bnds_24 <- (mem x_1 0))
  (bnds_24 <<= 1)
  (bnds_24 += 1)
  (cjump x_23 < bnds_24 :oka_26 :die_25)
  :oka_26
  (cjump 0 <= x_23 :okb_27 :die_25)
  :die_25
  (eax <- (array-error x_1 x))
  :okb_27
  (x_23 >>= 1)
  (x_23 *= 4)
  (x_23 += x_1)
  (x_2 <- (mem x_23 4))
  (x_23 <- 0)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxx <- eax)
  (eax <- (print x_2))
  (x_3 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxx <- eax)
  (x_4 <- 3)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxx <- eax)
  (x_28 <- x_4)
  (bnds_29 <- (mem x_1 0))
  (bnds_29 <<= 1)
  (bnds_29 += 1)
  (cjump x_28 < bnds_29 :oka_31 :die_30)
  :oka_31
  (cjump 0 <= x_28 :okb_32 :die_30)
  :die_30
  (eax <- (array-error x_1 x_4))
  :okb_32
  (x_28 >>= 1)
  (x_28 *= 4)
  (x_28 += x_1)
  (x_5 <- (mem x_28 4))
  (x_28 <- 0)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxx <- eax)
  (eax <- (print x_5))
  (x_6 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxx <- eax)
  (eax <- (allocate 9 0))
  ((mem eax 4) <- 3)
  ((mem eax 8) <- 5)
  ((mem eax 12) <- 7)
  ((mem eax 16) <- 9)
  (x_7 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxx <- eax)
  (x_8 <- 3)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxx <- eax)
  (y <- 11)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxx <- eax)
  (x_33 <- x_8)
  (bnds_34 <- (mem x_7 0))
  (bnds_34 <<= 1)
  (bnds_34 += 1)
  (cjump x_33 < bnds_34 :oka_36 :die_35)
  :oka_36
  (cjump 0 <= x_33 :okb_37 :die_35)
  :die_35
  (eax <- (array-error x_7 x_8))
  :okb_37
  (x_33 >>= 1)
  (x_33 *= 4)
  (x_33 += x_7)
  ((mem x_33 4) <- y)
  (x_33 <- 0)
  (x_9 <- 1)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxx <- eax)
  (eax <- (print x_7))
  (x_10 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxx <- eax)
  (eax <- (allocate 9 0))
  ((mem eax 4) <- 3)
  ((mem eax 8) <- 5)
  ((mem eax 12) <- 7)
  ((mem eax 16) <- 9)
  (x_11 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxx <- eax)
  (x_12 <- 3)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxx <- eax)
  (x_13 <- 11)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxx <- eax)
  (x_38 <- x_12)
  (bnds_39 <- (mem x_11 0))
  (bnds_39 <<= 1)
  (bnds_39 += 1)
  (cjump x_38 < bnds_39 :oka_41 :die_40)
  :oka_41
  (cjump 0 <= x_38 :okb_42 :die_40)
  :die_40
  (eax <- (array-error x_11 x_12))
  :okb_42
  (x_38 >>= 1)
  (x_38 *= 4)
  (x_38 += x_11)
  ((mem x_38 4) <- x_13)
  (x_38 <- 0)
  (x_14 <- 1)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxx <- eax)
  (eax <- (print x_11))
  (x_15 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxx <- eax)
  (eax <- (allocate 9 0))
  ((mem eax 4) <- 3)
  ((mem eax 8) <- 5)
  ((mem eax 12) <- 7)
  ((mem eax 16) <- 9)
  (x_16 <- eax)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxxx <- eax)
  (x_17 <- 3)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxxxx <- eax)
  (x_18 <- 11)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxxxxx <- eax)
  (arr2 <- x_16)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxxxxxx <- eax)
  (x_43 <- x_17)
  (bnds_44 <- (mem x_16 0))
  (bnds_44 <<= 1)
  (bnds_44 += 1)
  (cjump x_43 < bnds_44 :oka_46 :die_45)
  :oka_46
  (cjump 0 <= x_43 :okb_47 :die_45)
  :die_45
  (eax <- (array-error x_16 x_17))
  :okb_47
  (x_43 >>= 1)
  (x_43 *= 4)
  (x_43 += x_16)
  ((mem x_43 4) <- x_18)
  (x_43 <- 0)
  (x_19 <- 1)
  (eax <- (allocate 3 3))
  (allocatebindingxxxxxxxxxxxxxxxxxxxxxxxx <- eax)
  (eax <- (print arr2))
  (x_20 <- eax)
  (eax <- (allocate 103 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)
  ((mem eax 32) <- 15)
  ((mem eax 36) <- 17)
  ((mem eax 40) <- 19)
  ((mem eax 44) <- 21)
  ((mem eax 48) <- 23)
  ((mem eax 52) <- 25)
  ((mem eax 56) <- 27)
  ((mem eax 60) <- 29)
  ((mem eax 64) <- 31)
  ((mem eax 68) <- 33)
  ((mem eax 72) <- 35)
  ((mem eax 76) <- 37)
  ((mem eax 80) <- 39)
  ((mem eax 84) <- 41)
  ((mem eax 88) <- 43)
  ((mem eax 92) <- 45)
  ((mem eax 96) <- 47)
  ((mem eax 100) <- 49)
  ((mem eax 104) <- 51)
  ((mem eax 108) <- 53)
  ((mem eax 112) <- 55)
  ((mem eax 116) <- 57)
  ((mem eax 120) <- 59)
  ((mem eax 124) <- 61)
  ((mem eax 128) <- 63)
  ((mem eax 132) <- 65)
  ((mem eax 136) <- 67)
  ((mem eax 140) <- 69)
  ((mem eax 144) <- 71)
  ((mem eax 148) <- 73)
  ((mem eax 152) <- 75)
  ((mem eax 156) <- 77)
  ((mem eax 160) <- 79)
  ((mem eax 164) <- 81)
  ((mem eax 168) <- 83)
  ((mem eax 172) <- 85)
  ((mem eax 176) <- 87)
  ((mem eax 180) <- 89)
  ((mem eax 184) <- 91)
  ((mem eax 188) <- 93)
  ((mem eax 192) <- 95)
  ((mem eax 196) <- 97)
  ((mem eax 200) <- 99)
  ((mem eax 204) <- 101)
  (allocatebindingxxxxxxxxxxxxxxxxxxxxxxxxx <- eax)
  (eax <- (print x_19))
  (eax <- eax)
  (return)))
