(((esp += -20)
  (esi <- 3)
  (edi <- 5)
  ((mem ebp -20) <- 7)
  ((mem ebp -16) <- 9)
  ((mem ebp -12) <- 11)
  ((mem ebp -8) <- 13)
  ((mem ebp -4) <- 15)
  (ecx <- 1)
  (call :f)
  (eax <- (print esi))
  (eax <- (print edi))
  (ebx <- (mem ebp -20))
  (eax <- (print ebx))
  (ebx <- (mem ebp -16))
  (eax <- (print ebx))
  (ebx <- (mem ebp -12))
  (eax <- (print ebx))
  (ebx <- (mem ebp -8))
  (eax <- (print ebx))
  (ebx <- (mem ebp -4))
  (eax <- (print ebx))
  (esp -= -20))
 (:f
  (esi <- esi)
  (edi <- edi)
  (ebx <- ecx)
  :top
  (cjump ebx = 0 :return :loop)
  :return
  (esi <- esi)
  (edi <- edi)
  (return)
  :loop
  (ebx -= 1)
  (edx <- 3)
  (edx <- 5)
  (edx <- 7)
  (edx <- 9)
  (edx <- 11)
  (edx <- 13)
  (edx <- 15)
  (goto :top)))
