(((call :L_1))
 (:L_1
  (esp += -16)
  (ebx <- esi)
  (edi <- edi)
  (ecx <- 3)
  (esi <- 5)
  (eax <- 7)
  (edx <- 9)
  ((mem ebp -16) <- 11)
  ((mem ebp -12) <- 13)
  ((mem ebp -8) <- 15)
  ((mem ebp -4) <- ecx)
  (ecx <- (mem ebp -4))
  (ecx += esi)
  ((mem ebp -4) <- ecx)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi += eax)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi += edx)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (eax <- (mem ebp -16))
  (esi += eax)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (eax <- (mem ebp -12))
  (esi += eax)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (eax <- (mem ebp -8))
  (esi += eax)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (esi -= 1)
  ((mem ebp -4) <- esi)
  (esi <- (mem ebp -4))
  (eax <- (print esi))
  (eax <- eax)
  (esi <- ebx)
  (edi <- edi)
  (return)))
