((
  (edi <- 5)
  (esi <- 3)
  (eax <- (print edi)) ;; 2
  (goto :wtf)
  
  (edi += esi)
  (edi -= 1)
  (eax <- (print edi)) ;; never get here
  (goto :end)
  
  :wtf
  (edi -= esi)
  (edi += 1)
  (eax <- (print edi)) ;; 1
  
  :end
  (eax <- (print edi)) ;; 1
  ))
  