V auto_initial_IP(global) V auto_1(assign) V auto_10(3) V auto_11(resolve) N auto_12 V auto_13(assign) V auto_14(constant) V auto_15(2) V auto_16(resolve) V auto_17(resolve) V auto_18("main") V auto_2(constant) N auto_3 V auto_4(declare) V auto_5(if) V auto_6(constant) V auto_7(True) V auto_8(assign) V auto_9(constant) D auto_initial_IP,"next",auto_1 D auto_initial_IP,"var",auto_18 D auto_1,"value",auto_2 D auto_1,"var",auto_17 D auto_11,"var",auto_12 D auto_13,"value",auto_14 D auto_13,"var",auto_16 D auto_14,"node",auto_15 D auto_16,"var",auto_12 D auto_17,"var",auto_18 D auto_2,"node",auto_3 D auto_3,"body",auto_4 D auto_4,"next",auto_5 D auto_4,"var",auto_12 D auto_5,"cond",auto_6 D auto_5,"else",auto_8 D auto_5,"then",auto_13 D auto_6,"node",auto_7 D auto_8,"value",auto_9 D auto_8,"var",auto_11 D auto_9,"node",auto_10