(((call :l8))
 (:l8
 (eax <- 11)
 (ecx <- eax <= 7)
 (cjump ecx <= eax :true1 :false1)
 :true1
 (eax <- 1)
 (goto :end1)
 :false1
 (eax <- 3)
 :end1
 (eax <- (print eax))
 (eax <- 7)
 (ecx <- eax < 14)
 (cjump ecx < eax :true2 :false2)
 :true2
 (eax <- 1)
 (goto :end2)
 :false2
 (eax <- 3)
 :end2
 (eax <- (print eax))
 (eax <- 11)
 (ecx <- eax = 7)
 (cjump ecx = eax :true3 :false3)
 :true3
 (eax <- 1)
 (goto :end2)
 :false3
 (eax <- 3)
 :end3
 (eax <- (print eax))
 (return)))
