V auto_0("main") N auto_1 V auto_initial_IP(global) D auto_initial_IP,"var",auto_0 V auto_3(resolve) D auto_3,"var",auto_0 V auto_4(assign) D auto_4,"var",auto_3 V auto_5(constant) D auto_5,"node",auto_1 D auto_4,"value",auto_5 D auto_initial_IP,"next",auto_4 N auto_6 V auto_7(declare) D auto_7,"var",auto_6 V auto_8(while) V auto_9(True) V auto_10(constant) D auto_10,"node",auto_9 V auto_11(resolve) D auto_11,"var",auto_6 V auto_12(2) V auto_13(constant) D auto_13,"node",auto_12 V auto_14(assign) D auto_14,"var",auto_11 D auto_14,"value",auto_13 D auto_8,"cond",auto_10 D auto_8,"body",auto_14 D auto_7,"next",auto_8 D auto_1,"body",auto_7