(:print1
 (s0 <- (mem ebp -8))
 (eax <- (print s0))
 (goto :print5)
 :print2
 (s1 <- (mem ebp -8))
 (eax <- (print s1))
 (goto :print4)
 :print3
 (s2 <- (mem ebp -8))
 (eax <- (print s2))
 (goto :print3)
 :print4
 (s3 <- (mem ebp -8))
 (eax <- (print s3))
 (goto :done)
 :print5
 (s4 <- (mem ebp -8))
 (eax <- (print s4))
 (goto :print2) :done)
