(((ebx <- 1)
  (edi <- 1)
  (esi <- 1)
  (eax <- (allocate 9 1))
  ((mem eax 4) <- 9)
  ((mem eax 8) <- 17)
  ((mem eax 12) <- 33)
  ((mem eax 16) <- 65)
  (ebx <- 1) ;result
  (ecx <- 0) ;counter
  (edx <- eax) ;pointer
  (edx += 4)
  :loop
  (edi <- (mem edx 0))
  (edx += 4) ;increment pointer
  (ecx += 1) ;increment counter
  (ebx += edi) ;add to result
  (ebx -= 1) ;(2x + 1) + (2y + 1) - 1 = 2(x + y) + 1
  (cjump ecx = 4 :done :loop)
   :done
  (eax <- (print eax))
  (eax <- (print ebx))))
  