define i32 @z_main() {
entry:
  %c = alloca i32                                 ; <i32*> [#uses=1]
  %b = alloca i32                                 ; <i32*> [#uses=4]
  %a = alloca i32                                 ; <i32*> [#uses=5]
  %z_main_ret = alloca i32                        ; <i32*> [#uses=3]
  store i32 0, i32* %z_main_ret
  store i32 0, i32* %a
  store i32 0, i32* %b
  store i32 0, i32* %c
  store i32 10, i32* %a
  br label %while-cond

while-cond:                                       ; preds = %while-body, %entry
  %a1 = load i32* %a                              ; <i32> [#uses=1]
  %while = icmp ne i32 %a1, 0                     ; <i1> [#uses=1]
  br i1 %while, label %while-body, label %while-cont

while-body:                                       ; preds = %while-cond
  %a2 = load i32* %a                              ; <i32> [#uses=1]
  %sub = sub i32 %a2, 1                           ; <i32> [#uses=1]
  store i32 %sub, i32* %a
  %b3 = load i32* %b                              ; <i32> [#uses=1]
  %add = add i32 %b3, 1                           ; <i32> [#uses=1]
  store i32 %add, i32* %b
  br label %while-cond

while-cont:                                       ; preds = %while-cond
  %b4 = load i32* %b                              ; <i32> [#uses=1]
  store i32 %b4, i32* %z_main_ret
  br label %term

term:                                             ; preds = %while-cont
  %z_main_ret5 = load i32* %z_main_ret            ; <i32> [#uses=1]
  ret i32 %z_main_ret5
}