(
  :print1
  (eax <- (print x))
  (goto :print5)
  
  :print2
  (eax <- (print x))
  (goto :print4)
  
  :print3
  (eax <- (print x))
  (goto :print3)
  
  :print4
  (eax <- (print x))
  (goto :done)
  
  :print5
  (eax <- (print x))
  (goto :print2)
  
  :done
) x -8 s
