magic_phi(main,[x7,x8],[long,ptrT(arrT(ptrT(arrT(byte))))],[y52,y53,y54,y55,y56,y57,y58,y59,y60,y61,y62,y63,y64,y65,y66,y67,y68,y69,y70,y71,y72,y73,y74,y75,y76,y77,y78,y79,y80,y81,y82],[long,ptrT(arrT(long)),long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y53),newArr(long,lit(129)),assign(lvar(y59),call(Initialize,[lval(lvar(y53))]),assign(lvar(y56),lit(1),assign(lvar(y55),lval(lvar(y56)),goto(label_.BB10))))),label_.BB7-assign(lvar(y55),lit(1),goto(label_.BB9)),label_.BB8-assign(lvar(y57),call(Find,[lval(lvar(y55)),lval(lvar(y53))]),assign(lvar(y60),lval(lvar(y55)),assign(lvar(y60),binop(add,lval(lvar(y60)),lval(lvar(y56))),assign(lvar(y58),call(Find,[lval(lvar(y60)),lval(lvar(y53))]),assign(lvar(y61),call(SetUnion,[lval(lvar(y53)),lval(lvar(y57)),lval(lvar(y58))]),assign(lvar(y62),lit(2),assign(lvar(y63),lval(lvar(y62)),assign(lvar(y63),binop(mul,lval(lvar(y63)),lval(lvar(y56))),assign(lvar(y64),lval(lvar(y55)),assign(lvar(y64),binop(add,lval(lvar(y64)),lval(lvar(y63))),assign(lvar(y55),lval(lvar(y64)),assign(lvar(y65),lval(lvar(y55)),assign(lvar(y65),binop(sub,lval(lvar(y65)),lit(128)),assign(lvar(y66),lval(lvar(y55)),assign(lvar(y68),lval(lvar(y55)),assign(lvar(y66),binop(or,lval(lvar(y66)),lit(128)),assign(lvar(y68),binop(and,lval(lvar(y68)),lit(128)),assign(lvar(y66),binop(sub,lval(lvar(y66)),lval(lvar(y68))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y69),lval(lvar(y65)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y55))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y55))),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y69))),assign(lvar(y66),binop(and,lval(lvar(y66)),lval(lvar(y67))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y70),lval(lvar(y65)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y66))),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y70))),assign(lvar(y67),binop(sr,lval(lvar(y67)),lit(31)),if(y67,label_.BB8,assign(lvar(y71),lval(lvar(y56)),assign(lvar(y71),binop(sl,lval(lvar(y71)),lit(1)),assign(lvar(y56),lval(lvar(y71)),assign(lvar(y72),lit(8),assign(lvar(y72),binop(sub,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y73),lval(lvar(y56)),assign(lvar(y74),lval(lvar(y56)),assign(lvar(y73),binop(or,lval(lvar(y73)),lit(8)),assign(lvar(y74),binop(and,lval(lvar(y74)),lit(8)),assign(lvar(y73),binop(sub,lval(lvar(y73)),lval(lvar(y74))),assign(lvar(y73),binop(or,lval(lvar(y73)),lval(lvar(y72))),assign(lvar(y72),lit(8),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(or,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(and,lval(lvar(y72)),lval(lvar(y73))),assign(lvar(y72),binop(sr,lval(lvar(y72)),lit(31)),if(y72,label_.BB7,assign(lvar(y54),lit(1),assign(lvar(y54),lit(1),goto(label_.BB12)))))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB9-assign(lvar(y65),lval(lvar(y55)),assign(lvar(y65),binop(sub,lval(lvar(y65)),lit(128)),assign(lvar(y66),lval(lvar(y55)),assign(lvar(y68),lval(lvar(y55)),assign(lvar(y66),binop(or,lval(lvar(y66)),lit(128)),assign(lvar(y68),binop(and,lval(lvar(y68)),lit(128)),assign(lvar(y66),binop(sub,lval(lvar(y66)),lval(lvar(y68))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y69),lval(lvar(y65)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y55))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y55))),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y69))),assign(lvar(y66),binop(and,lval(lvar(y66)),lval(lvar(y67))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y70),lval(lvar(y65)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y66))),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y70))),assign(lvar(y67),binop(sr,lval(lvar(y67)),lit(31)),if(y67,label_.BB8,assign(lvar(y71),lval(lvar(y56)),assign(lvar(y71),binop(sl,lval(lvar(y71)),lit(1)),assign(lvar(y56),lval(lvar(y71)),assign(lvar(y72),lit(8),assign(lvar(y72),binop(sub,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y73),lval(lvar(y56)),assign(lvar(y74),lval(lvar(y56)),assign(lvar(y73),binop(or,lval(lvar(y73)),lit(8)),assign(lvar(y74),binop(and,lval(lvar(y74)),lit(8)),assign(lvar(y73),binop(sub,lval(lvar(y73)),lval(lvar(y74))),assign(lvar(y73),binop(or,lval(lvar(y73)),lval(lvar(y72))),assign(lvar(y72),lit(8),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(or,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(and,lval(lvar(y72)),lval(lvar(y73))),assign(lvar(y72),binop(sr,lval(lvar(y72)),lit(31)),if(y72,label_.BB7,assign(lvar(y54),lit(1),assign(lvar(y54),lit(1),goto(label_.BB12))))))))))))))))))))))))))))))))))))))))))),label_.BB10-assign(lvar(y72),lit(8),assign(lvar(y72),binop(sub,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y73),lval(lvar(y56)),assign(lvar(y74),lval(lvar(y56)),assign(lvar(y73),binop(or,lval(lvar(y73)),lit(8)),assign(lvar(y74),binop(and,lval(lvar(y74)),lit(8)),assign(lvar(y73),binop(sub,lval(lvar(y73)),lval(lvar(y74))),assign(lvar(y73),binop(or,lval(lvar(y73)),lval(lvar(y72))),assign(lvar(y72),lit(8),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(or,lval(lvar(y72)),lval(lvar(y56))),assign(lvar(y72),binop(and,lval(lvar(y72)),lval(lvar(y73))),assign(lvar(y72),binop(sr,lval(lvar(y72)),lit(31)),if(y72,label_.BB7,assign(lvar(y54),lit(1),assign(lvar(y54),lit(1),goto(label_.BB12)))))))))))))))))))),label_.BB11-assign(lvar(y57),call(Find,[lval(lvar(y54)),lval(lvar(y53))]),assign(lvar(y75),call(print32,[lval(lvar(y57))]),assign(lvar(y76),call(disjsets.istr0,[]),assign(lvar(y77),call(prints,[lval(lvar(y76))]),assign(lvar(y54),binop(add,lval(lvar(y54)),lit(1)),assign(lvar(y78),lit(128),assign(lvar(y78),binop(sub,lval(lvar(y78)),lval(lvar(y54))),assign(lvar(y78),binop(mul,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(add,lval(lvar(y78)),lit(-1)),assign(lvar(y79),lval(lvar(y54)),assign(lvar(y80),lval(lvar(y54)),assign(lvar(y79),binop(or,lval(lvar(y79)),lit(128)),assign(lvar(y80),binop(and,lval(lvar(y80)),lit(128)),assign(lvar(y79),binop(sub,lval(lvar(y79)),lval(lvar(y80))),assign(lvar(y79),binop(or,lval(lvar(y79)),lval(lvar(y78))),assign(lvar(y78),lit(128),assign(lvar(y78),binop(mul,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(add,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(or,lval(lvar(y78)),lval(lvar(y54))),assign(lvar(y78),binop(and,lval(lvar(y78)),lval(lvar(y79))),assign(lvar(y78),binop(sr,lval(lvar(y78)),lit(31)),if(y78,label_.BB11,assign(lvar(y81),call(disjsets.istr1,[]),assign(lvar(y82),call(prints,[lval(lvar(y81))]),assign(lvar(y52),lit(0),return))))))))))))))))))))))))),label_.BB12-assign(lvar(y78),lit(128),assign(lvar(y78),binop(sub,lval(lvar(y78)),lval(lvar(y54))),assign(lvar(y78),binop(mul,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(add,lval(lvar(y78)),lit(-1)),assign(lvar(y79),lval(lvar(y54)),assign(lvar(y80),lval(lvar(y54)),assign(lvar(y79),binop(or,lval(lvar(y79)),lit(128)),assign(lvar(y80),binop(and,lval(lvar(y80)),lit(128)),assign(lvar(y79),binop(sub,lval(lvar(y79)),lval(lvar(y80))),assign(lvar(y79),binop(or,lval(lvar(y79)),lval(lvar(y78))),assign(lvar(y78),lit(128),assign(lvar(y78),binop(mul,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(add,lval(lvar(y78)),lit(-1)),assign(lvar(y78),binop(or,lval(lvar(y78)),lval(lvar(y54))),assign(lvar(y78),binop(and,lval(lvar(y78)),lval(lvar(y79))),assign(lvar(y78),binop(sr,lval(lvar(y78)),lit(31)),if(y78,label_.BB11,assign(lvar(y81),call(disjsets.istr1,[]),assign(lvar(y82),call(prints,[lval(lvar(y81))]),assign(lvar(y52),lit(0),return))))))))))))))))))))],1)
magic_phi(Find,[x5,x6],[long,ptrT(arrT(long))],[y39,y40,y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51],[long,ptrT(arrT(long)),long,long,long,long,long,long,long,ptrT(arrT(long)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y40),lval(lvar(x6)),assign(lvar(y40),binop(add,lval(lvar(y40)),binop(mul,lval(lvar(x5)),lit(1))),assign(lvar(y41),lval(arr(y40,lit(0))),assign(lvar(y42),lit(0),assign(lvar(y42),binop(sub,lval(lvar(y42)),lval(lvar(y41))),assign(lvar(y43),lit(0),assign(lvar(y45),lit(0),assign(lvar(y43),binop(or,lval(lvar(y43)),lval(lvar(y41))),assign(lvar(y45),binop(and,lval(lvar(y45)),lval(lvar(y41))),assign(lvar(y43),binop(sub,lval(lvar(y43)),lval(lvar(y45))),assign(lvar(y44),lval(lvar(y42)),assign(lvar(y46),lval(lvar(y42)),assign(lvar(y44),binop(or,lval(lvar(y44)),lit(0)),assign(lvar(y46),binop(and,lval(lvar(y46)),lit(0)),assign(lvar(y44),binop(sub,lval(lvar(y44)),lval(lvar(y46))),assign(lvar(y43),binop(and,lval(lvar(y43)),lval(lvar(y44))),assign(lvar(y44),lval(lvar(y42)),assign(lvar(y47),lval(lvar(y42)),assign(lvar(y44),binop(or,lval(lvar(y44)),lval(lvar(y43))),assign(lvar(y47),binop(and,lval(lvar(y47)),lval(lvar(y43))),assign(lvar(y44),binop(sub,lval(lvar(y44)),lval(lvar(y47))),assign(lvar(y44),binop(sr,lval(lvar(y44)),lit(31)),if(y44,label_.BB5,assign(lvar(y39),lval(lvar(x5)),goto(label_.BB6))))))))))))))))))))))))),label_.BB5-assign(lvar(y48),lval(lvar(x6)),assign(lvar(y48),binop(add,lval(lvar(y48)),binop(mul,lval(lvar(x5)),lit(1))),assign(lvar(y49),lval(arr(y48,lit(0))),assign(lvar(y50),call(Find,[lval(lvar(y49)),lval(lvar(x6))]),assign(arr(y48,lit(0)),lval(lvar(y50)),assign(lvar(y51),lval(arr(y48,lit(0))),assign(lvar(y39),lval(lvar(y51)),return))))))),label_.BB6-return],1)
magic_phi(SetUnion,[x2,x3,x4],[ptrT(arrT(long)),long,long],[y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36,y37,y38],[long,ptrT(arrT(long)),long,ptrT(arrT(long)),long,long,long,long,ptrT(arrT(long)),ptrT(arrT(long)),long,ptrT(arrT(long)),long,long,long,ptrT(arrT(long)),long,long,ptrT(arrT(long))],label_.BB000,[label_.BB000-assign(lvar(y21),lval(lvar(x2)),assign(lvar(y21),binop(add,lval(lvar(y21)),binop(mul,lval(lvar(x4)),lit(1))),assign(lvar(y22),lval(arr(y21,lit(0))),assign(lvar(y23),lval(lvar(x2)),assign(lvar(y23),binop(add,lval(lvar(y23)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y24),lval(arr(y23,lit(0))),assign(lvar(y25),lval(lvar(y22)),assign(lvar(y25),binop(sub,lval(lvar(y25)),lval(lvar(y24))),assign(lvar(y25),binop(mul,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(add,lval(lvar(y25)),lit(-1)),assign(lvar(y26),lval(lvar(y24)),assign(lvar(y27),lval(lvar(y24)),assign(lvar(y26),binop(or,lval(lvar(y26)),lval(lvar(y22))),assign(lvar(y27),binop(and,lval(lvar(y27)),lval(lvar(y22))),assign(lvar(y26),binop(sub,lval(lvar(y26)),lval(lvar(y27))),assign(lvar(y26),binop(or,lval(lvar(y26)),lval(lvar(y25))),assign(lvar(y25),lval(lvar(y22)),assign(lvar(y25),binop(mul,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(add,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(or,lval(lvar(y25)),lval(lvar(y24))),assign(lvar(y25),binop(and,lval(lvar(y25)),lval(lvar(y26))),assign(lvar(y25),binop(sr,lval(lvar(y25)),lit(31)),if(y25,label_.BB2,assign(lvar(y28),lval(lvar(x2)),assign(lvar(y28),binop(add,lval(lvar(y28)),binop(mul,lval(lvar(x3)),lit(1))),assign(arr(y28,lit(0)),lval(lvar(x4)),goto(label_.BB4))))))))))))))))))))))))))),label_.BB2-assign(lvar(y29),lval(lvar(x2)),assign(lvar(y29),binop(add,lval(lvar(y29)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y30),lval(arr(y29,lit(0))),assign(lvar(y31),lval(lvar(x2)),assign(lvar(y31),binop(add,lval(lvar(y31)),binop(mul,lval(lvar(x4)),lit(1))),assign(lvar(y32),lval(arr(y31,lit(0))),assign(lvar(y33),binop(eq,lval(lvar(y30)),lval(lvar(y32))),if(y33,label_.BB13,assign(lvar(y34),lit(1),goto(label_.BB14)))))))))),label_.BB13-assign(lvar(y34),lit(0),if(y34,label_.BB3,assign(lvar(y35),lval(lvar(x2)),assign(lvar(y35),binop(add,lval(lvar(y35)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y36),lval(arr(y35,lit(0))),assign(lvar(y37),lval(lvar(y36)),assign(lvar(y37),binop(add,lval(lvar(y37)),lit(-1)),assign(arr(y35,lit(0)),lval(lvar(y37)),assign(lvar(y38),lval(lvar(x2)),assign(lvar(y38),binop(add,lval(lvar(y38)),binop(mul,lval(lvar(x4)),lit(1))),assign(arr(y38,lit(0)),lval(lvar(x3)),return))))))))))),label_.BB14-if(y34,label_.BB3,assign(lvar(y35),lval(lvar(x2)),assign(lvar(y35),binop(add,lval(lvar(y35)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y36),lval(arr(y35,lit(0))),assign(lvar(y37),lval(lvar(y36)),assign(lvar(y37),binop(add,lval(lvar(y37)),lit(-1)),assign(arr(y35,lit(0)),lval(lvar(y37)),assign(lvar(y38),lval(lvar(x2)),assign(lvar(y38),binop(add,lval(lvar(y38)),binop(mul,lval(lvar(x4)),lit(1))),assign(arr(y38,lit(0)),lval(lvar(x3)),return)))))))))),label_.BB3-assign(lvar(y38),lval(lvar(x2)),assign(lvar(y38),binop(add,lval(lvar(y38)),binop(mul,lval(lvar(x4)),lit(1))),assign(arr(y38,lit(0)),lval(lvar(x3)),return))),label_.BB4-return],1)
magic_phi(Initialize,[x1],[ptrT(arrT(long))],[y9,y10,y11,y12,y13,y14,y15,y16,y17,y18,y19],[long,long,ptrT(arrT(long)),long,long,long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y10),lit(128),goto(label_.BB1)),label_.BB0-assign(lvar(y11),lval(lvar(x1)),assign(lvar(y11),binop(add,lval(lvar(y11)),binop(mul,lval(lvar(y10)),lit(1))),assign(lvar(y12),lit(0),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y13),lval(lvar(y10)),assign(lvar(y13),binop(add,lval(lvar(y13)),lit(-1)),assign(lvar(y10),lval(lvar(y13)),assign(lvar(y14),lit(0),assign(lvar(y14),binop(sub,lval(lvar(y14)),lval(lvar(y10))),assign(lvar(y15),lit(0),assign(lvar(y17),lit(0),assign(lvar(y15),binop(or,lval(lvar(y15)),lval(lvar(y10))),assign(lvar(y17),binop(and,lval(lvar(y17)),lval(lvar(y10))),assign(lvar(y15),binop(sub,lval(lvar(y15)),lval(lvar(y17))),assign(lvar(y16),lval(lvar(y14)),assign(lvar(y18),lval(lvar(y14)),assign(lvar(y16),binop(or,lval(lvar(y16)),lit(0)),assign(lvar(y18),binop(and,lval(lvar(y18)),lit(0)),assign(lvar(y16),binop(sub,lval(lvar(y16)),lval(lvar(y18))),assign(lvar(y15),binop(and,lval(lvar(y15)),lval(lvar(y16))),assign(lvar(y16),lval(lvar(y14)),assign(lvar(y19),lval(lvar(y14)),assign(lvar(y16),binop(or,lval(lvar(y16)),lval(lvar(y15))),assign(lvar(y19),binop(and,lval(lvar(y19)),lval(lvar(y15))),assign(lvar(y16),binop(sub,lval(lvar(y16)),lval(lvar(y19))),assign(lvar(y16),binop(sr,lval(lvar(y16)),lit(31)),if(y16,label_.BB0,return))))))))))))))))))))))))))),label_.BB1-assign(lvar(y14),lit(0),assign(lvar(y14),binop(sub,lval(lvar(y14)),lval(lvar(y10))),assign(lvar(y15),lit(0),assign(lvar(y17),lit(0),assign(lvar(y15),binop(or,lval(lvar(y15)),lval(lvar(y10))),assign(lvar(y17),binop(and,lval(lvar(y17)),lval(lvar(y10))),assign(lvar(y15),binop(sub,lval(lvar(y15)),lval(lvar(y17))),assign(lvar(y16),lval(lvar(y14)),assign(lvar(y18),lval(lvar(y14)),assign(lvar(y16),binop(or,lval(lvar(y16)),lit(0)),assign(lvar(y18),binop(and,lval(lvar(y18)),lit(0)),assign(lvar(y16),binop(sub,lval(lvar(y16)),lval(lvar(y18))),assign(lvar(y15),binop(and,lval(lvar(y15)),lval(lvar(y16))),assign(lvar(y16),lval(lvar(y14)),assign(lvar(y19),lval(lvar(y14)),assign(lvar(y16),binop(or,lval(lvar(y16)),lval(lvar(y15))),assign(lvar(y19),binop(and,lval(lvar(y19)),lval(lvar(y15))),assign(lvar(y16),binop(sub,lval(lvar(y16)),lval(lvar(y19))),assign(lvar(y16),binop(sr,lval(lvar(y16)),lit(31)),if(y16,label_.BB0,return))))))))))))))))))))],1)
magic_phi(disjsets.istr1,[],[],[y5,y6,y7,y8],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y6),lit(2),assign(lvar(y5),newArr(byte,binop(mul,lval(lvar(y6)),lit(1))),assign(lvar(y7),lval(lvar(y5)),assign(lvar(y8),lit(10),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(0),assign(arr(y7,lit(0)),lval(lvar(y8)),return))))))))],1)
magic_phi(disjsets.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(3),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(42),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(42),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(0),assign(arr(y3,lit(0)),lval(lvar(y4)),return)))))))))))],1)
