function PBMAIN
  block entry
    alloca -> 1
    store v1,0
    alloca -> 2
    store v2,0
    alloca -> 3
    store v3,0
    call -> 4 c_hlib_lnstk_new
    store v2,v4
    call -> 5 c_hlib_lnstk_new
    store v2,v5
    load -> 6 v2
    call -> 7 c_hlib_lnstk_push,v6,10
    load -> 8 v2
    call -> 9 c_hlib_lnstk_push,v8,20
    load -> 10 v2
    call -> 11 c_hlib_lnstk_push,v10,30
    load -> 12 v2
    call -> 13 c_hlib_lnstk_count,v12
    store v3,v13
    load -> 14 v3
    cmp_ne -> 15 v14,3
    brcond v15,pb_if_then_PBMAIN_0,pb_if_else_PBMAIN_1
  block pb_if_then_PBMAIN_0
    store v1,1
    br pb_if_end_PBMAIN_2
  block pb_if_else_PBMAIN_1
    br pb_if_end_PBMAIN_2
  block pb_if_end_PBMAIN_2
    load -> 16 v1
    load -> 17 v2
    call c_hlib_lnstk_final,v17
    store v2,0
    ret v16
  block pb_dead_PBMAIN_3
    load -> 18 v2
    call -> 19 c_hlib_lnstk_peek,v18
    store v3,v19
    load -> 20 v3
    cmp_ne -> 21 v20,30
    brcond v21,pb_if_then_PBMAIN_4,pb_if_else_PBMAIN_5
  block pb_if_then_PBMAIN_4
    store v1,2
    br pb_if_end_PBMAIN_6
  block pb_if_else_PBMAIN_5
    br pb_if_end_PBMAIN_6
  block pb_if_end_PBMAIN_6
    load -> 22 v1
    load -> 23 v2
    call c_hlib_lnstk_final,v23
    store v2,0
    ret v22
  block pb_dead_PBMAIN_7
    load -> 24 v2
    call -> 25 c_hlib_lnstk_pop,v24
    store v3,v25
    load -> 26 v3
    cmp_ne -> 27 v26,30
    brcond v27,pb_if_then_PBMAIN_8,pb_if_else_PBMAIN_9
  block pb_if_then_PBMAIN_8
    store v1,3
    br pb_if_end_PBMAIN_10
  block pb_if_else_PBMAIN_9
    br pb_if_end_PBMAIN_10
  block pb_if_end_PBMAIN_10
    load -> 28 v1
    load -> 29 v2
    call c_hlib_lnstk_final,v29
    store v2,0
    ret v28
  block pb_dead_PBMAIN_11
    load -> 30 v2
    call -> 31 c_hlib_lnstk_count,v30
    store v3,v31
    load -> 32 v3
    cmp_ne -> 33 v32,2
    brcond v33,pb_if_then_PBMAIN_12,pb_if_else_PBMAIN_13
  block pb_if_then_PBMAIN_12
    store v1,4
    br pb_if_end_PBMAIN_14
  block pb_if_else_PBMAIN_13
    br pb_if_end_PBMAIN_14
  block pb_if_end_PBMAIN_14
    load -> 34 v1
    load -> 35 v2
    call c_hlib_lnstk_final,v35
    store v2,0
    ret v34
  block pb_dead_PBMAIN_15
    load -> 36 v2
    call -> 37 c_hlib_lnstk_pop,v36
    store v3,v37
    load -> 38 v3
    cmp_ne -> 39 v38,20
    brcond v39,pb_if_then_PBMAIN_16,pb_if_else_PBMAIN_17
  block pb_if_then_PBMAIN_16
    store v1,5
    br pb_if_end_PBMAIN_18
  block pb_if_else_PBMAIN_17
    br pb_if_end_PBMAIN_18
  block pb_if_end_PBMAIN_18
    load -> 40 v1
    load -> 41 v2
    call c_hlib_lnstk_final,v41
    store v2,0
    ret v40
  block pb_dead_PBMAIN_19
    load -> 42 v2
    call -> 43 c_hlib_lnstk_pop,v42
    store v3,v43
    load -> 44 v3
    cmp_ne -> 45 v44,10
    brcond v45,pb_if_then_PBMAIN_20,pb_if_else_PBMAIN_21
  block pb_if_then_PBMAIN_20
    store v1,6
    br pb_if_end_PBMAIN_22
  block pb_if_else_PBMAIN_21
    br pb_if_end_PBMAIN_22
  block pb_if_end_PBMAIN_22
    load -> 46 v1
    load -> 47 v2
    call c_hlib_lnstk_final,v47
    store v2,0
    ret v46
  block pb_dead_PBMAIN_23
    load -> 48 v2
    call -> 49 c_hlib_lnstk_empty,v48
    store v3,v49
    load -> 50 v3
    cmp_eq -> 51 v50,0
    brcond v51,pb_if_then_PBMAIN_24,pb_if_else_PBMAIN_25
  block pb_if_then_PBMAIN_24
    store v1,7
    br pb_if_end_PBMAIN_26
  block pb_if_else_PBMAIN_25
    br pb_if_end_PBMAIN_26
  block pb_if_end_PBMAIN_26
    load -> 52 v1
    load -> 53 v2
    call c_hlib_lnstk_final,v53
    store v2,0
    ret v52
    load -> 54 v2
    call -> 55 c_hlib_lnstk_final,v54
    store v1,0
    load -> 56 v1
    load -> 57 v2
    call c_hlib_lnstk_final,v57
    store v2,0
    ret v56
