(((call :L_1))
 (:L_1
  (esi <- esi)
  (edi <- edi)
  (ecx <- 3)
  (edx <- 5)
  (call :f)
  (ebx <- eax)
  (eax <- (print ebx))
  (eax <- eax)
  (esi <- esi)
  (edi <- edi)
  (return))
 (:f
  (ebx <- esi)
  (edi <- edi)
  (eax <- ecx)
  (esi <- edx)
  (eax <- eax < esi)
  (eax += eax)
  (eax += 1)
  (cjump eax = 1 :L_3 :L_2)
  :L_3
  (eax <- 5)
  (esi <- ebx)
  (edi <- edi)
  (return)
  :L_2
  (eax <- 3)
  (esi <- ebx)
  (edi <- edi)
  (return)))
