magic_struct(struct3,4,1,ptrT(structT(struct3)))
magic_struct(struct3,0,0,long)
magic_phi(First,[x19],[ptrT(arrT(long))],[y152,y153],[long,long],label_.BB000,[label_.BB000-assign(lvar(y153),lval(arr(x19,lit(1))),assign(lvar(y152),lval(lvar(y153)),return))],1)
magic_phi(FindPrevious,[x12,x13],[long,ptrT(structT(struct3))],[y127,y128,y129,y130,y131,y132,y133,y134,y135],[ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(long),long,ptrT(long),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y128),lval(lvar(x13)),goto(label_.BB11)),label_.BB10-assign(lvar(y129),lval(field(y128,1)),assign(lvar(y128),lval(lvar(y129)),assign(lvar(y130),lval(field(y128,1)),if(y130,label_.BB26,assign(lvar(y131),lit(1),goto(label_.BB27)))))),label_.BB11-assign(lvar(y130),lval(field(y128,1)),if(y130,label_.BB26,assign(lvar(y131),lit(1),goto(label_.BB27)))),label_.BB26-assign(lvar(y131),lit(0),if(y131,label_.BB12,assign(lvar(y132),lval(field(y128,1)),assign(lvar(y133),lval(deref(y132)),assign(lvar(y134),binop(eq,lval(lvar(y133)),lval(lvar(x12))),if(y134,label_.BB28,assign(lvar(y135),lit(1),goto(label_.BB29)))))))),label_.BB27-if(y131,label_.BB12,assign(lvar(y132),lval(field(y128,1)),assign(lvar(y133),lval(deref(y132)),assign(lvar(y134),binop(eq,lval(lvar(y133)),lval(lvar(x12))),if(y134,label_.BB28,assign(lvar(y135),lit(1),goto(label_.BB29))))))),label_.BB28-assign(lvar(y135),lit(0),if(y135,label_.BB10,assign(lvar(y127),lval(lvar(y128)),return))),label_.BB29-if(y135,label_.BB10,assign(lvar(y127),lval(lvar(y128)),return)),label_.BB12-assign(lvar(y127),lval(lvar(y128)),return)],1)
magic_phi(list.istr3,[],[],[y91,y92,y93,y94],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y92),lit(2),assign(lvar(y91),newArr(byte,binop(mul,lval(lvar(y92)),lit(1))),assign(lvar(y93),lval(lvar(y91)),assign(lvar(y94),lit(10),assign(arr(y93,lit(0)),lval(lvar(y94)),assign(lvar(y93),binop(add,lval(lvar(y93)),lit(1)),assign(lvar(y94),lit(0),assign(arr(y93,lit(0)),lval(lvar(y94)),return))))))))],1)
magic_phi(list.istr2,[],[],[y87,y88,y89,y90],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y88),lit(16),assign(lvar(y87),newArr(byte,binop(mul,lval(lvar(y88)),lit(1))),assign(lvar(y89),lval(lvar(y87)),assign(lvar(y90),lit(79),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(117),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(116),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(32),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(111),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(102),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(32),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(115),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(112),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(97),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(99),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(101),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(33),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(33),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(33),assign(arr(y89,lit(0)),lval(lvar(y90)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(1)),assign(lvar(y90),lit(0),assign(arr(y89,lit(0)),lval(lvar(y90)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(list.istr1,[],[],[y83,y84,y85,y86],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y84),lit(2),assign(lvar(y83),newArr(byte,binop(mul,lval(lvar(y84)),lit(1))),assign(lvar(y85),lval(lvar(y83)),assign(lvar(y86),lit(10),assign(arr(y85,lit(0)),lval(lvar(y86)),assign(lvar(y85),binop(add,lval(lvar(y85)),lit(1)),assign(lvar(y86),lit(0),assign(arr(y85,lit(0)),lval(lvar(y86)),return))))))))],1)
magic_phi(list.istr0,[],[],[y79,y80,y81,y82],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y80),lit(15),assign(lvar(y79),newArr(byte,binop(mul,lval(lvar(y80)),lit(1))),assign(lvar(y81),lval(lvar(y79)),assign(lvar(y82),lit(79),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(117),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(116),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(32),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(111),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(102),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(32),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(109),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(101),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(109),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(111),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(114),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(121),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(33),assign(arr(y81,lit(0)),lval(lvar(y82)),assign(lvar(y81),binop(add,lval(lvar(y81)),lit(1)),assign(lvar(y82),lit(0),assign(arr(y81,lit(0)),lval(lvar(y82)),return)))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(DeleteList,[x17],[ptrT(structT(struct3))],[y145,y146,y147,y148,y149,y150],[long,ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(structT(struct3))],label_.BB000,[label_.BB000-assign(lvar(y148),lval(field(x17,1)),assign(lvar(y146),lval(lvar(y148)),assign(lvar(y149),lit(0),assign(field(x17,1),lval(lvar(y149)),goto(label_.BB15))))),label_.BB14-assign(lvar(y150),lval(field(y146,1)),assign(lvar(y147),lval(lvar(y150)),assign(lvar(y146),lval(lvar(y147)),if(y146,label_.BB14,return)))),label_.BB15-if(y146,label_.BB14,return)],1)
magic_phi(Find,[x8,x9],[long,ptrT(structT(struct3))],[y113,y114,y115,y116,y117,y118,y119,y120],[ptrT(long),ptrT(structT(struct3)),ptrT(structT(struct3)),ptrT(structT(struct3)),long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y115),lval(field(x9,1)),assign(lvar(y114),lval(lvar(y115)),goto(label_.BB7))),label_.BB6-assign(lvar(y116),lval(field(y114,1)),assign(lvar(y114),lval(lvar(y116)),if(y114,label_.BB22,assign(lvar(y117),lit(1),goto(label_.BB23))))),label_.BB7-if(y114,label_.BB22,assign(lvar(y117),lit(1),goto(label_.BB23))),label_.BB22-assign(lvar(y117),lit(0),if(y117,label_.BB8,assign(lvar(y118),lval(field(y114,0)),assign(lvar(y119),binop(eq,lval(lvar(y118)),lval(lvar(x8))),if(y119,label_.BB24,assign(lvar(y120),lit(1),goto(label_.BB25))))))),label_.BB23-if(y117,label_.BB8,assign(lvar(y118),lval(field(y114,0)),assign(lvar(y119),binop(eq,lval(lvar(y118)),lval(lvar(x8))),if(y119,label_.BB24,assign(lvar(y120),lit(1),goto(label_.BB25)))))),label_.BB24-assign(lvar(y120),lit(0),if(y120,label_.BB6,assign(lvar(y113),lval(lvar(y114)),return))),label_.BB25-if(y120,label_.BB6,assign(lvar(y113),lval(lvar(y114)),return)),label_.BB8-assign(lvar(y113),lval(lvar(y114)),return)],1)
magic_phi(Delete,[x10,x11],[long,ptrT(structT(struct3))],[y121,y122,y123,y124,y125,y126],[long,ptrT(structT(struct3)),ptrT(structT(struct3)),long,ptrT(structT(struct3)),ptrT(structT(struct3))],label_.BB000,[label_.BB000-assign(lvar(y122),call(FindPrevious,[lval(lvar(x10)),lval(lvar(x11))]),assign(lvar(y124),call(IsLast,[lval(lvar(y122)),lval(lvar(x11))]),if(y124,label_.BB9,assign(lvar(y125),lval(field(y122,1)),assign(lvar(y123),lval(lvar(y125)),assign(lvar(y126),lval(field(y123,1)),assign(field(y122,1),lval(lvar(y126)),return))))))),label_.BB9-return],1)
magic_phi(Insert,[x14,x15,x16],[long,ptrT(long),ptrT(structT(struct3))],[y136,y137,y138,y139,y140,y141,y142,y143,y144],[long,ptrT(structT(struct3)),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct3))],label_.BB000,[label_.BB000-assign(lvar(y137),newStruct(struct3),if(y137,label_.BB13,assign(lvar(y138),call(list.istr2,[]),assign(lvar(y139),call(prints,[lval(lvar(y138))]),assign(lvar(y140),call(list.istr3,[]),assign(lvar(y141),call(prints,[lval(lvar(y140))]),assign(lvar(y143),lit(1),assign(lvar(y142),call(mincexit,[lval(lvar(y143))]),assign(field(y137,0),lval(lvar(x14)),assign(lvar(y144),lval(field(x16,1)),assign(field(y137,1),lval(lvar(y144)),assign(field(x16,1),lval(lvar(y137)),return)))))))))))),label_.BB13-assign(field(y137,0),lval(lvar(x14)),assign(lvar(y144),lval(field(x16,1)),assign(field(y137,1),lval(lvar(y144)),assign(field(x16,1),lval(lvar(y137)),return))))],1)
magic_phi(MakeEmpty,[x4],[ptrT(structT(struct3))],[y95,y96,y97,y98,y99,y100,y101,y102,y103,y104],[ptrT(structT(struct3)),long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct3))],label_.BB000,[label_.BB000-if(x4,label_.BB16,assign(lvar(y96),lit(1),goto(label_.BB17))),label_.BB16-assign(lvar(y96),lit(0),if(y96,label_.BB0,assign(lvar(y97),call(DeleteList,[lval(lvar(x4))]),assign(lvar(x4),newStruct(struct3),if(x4,label_.BB1,assign(lvar(y98),call(list.istr0,[]),assign(lvar(y99),call(prints,[lval(lvar(y98))]),assign(lvar(y100),call(list.istr1,[]),assign(lvar(y101),call(prints,[lval(lvar(y100))]),assign(lvar(y103),lit(1),assign(lvar(y102),call(mincexit,[lval(lvar(y103))]),assign(lvar(y104),lit(0),assign(field(x4,1),lval(lvar(y104)),assign(lvar(y95),lval(lvar(x4)),return)))))))))))))),label_.BB17-if(y96,label_.BB0,assign(lvar(y97),call(DeleteList,[lval(lvar(x4))]),assign(lvar(x4),newStruct(struct3),if(x4,label_.BB1,assign(lvar(y98),call(list.istr0,[]),assign(lvar(y99),call(prints,[lval(lvar(y98))]),assign(lvar(y100),call(list.istr1,[]),assign(lvar(y101),call(prints,[lval(lvar(y100))]),assign(lvar(y103),lit(1),assign(lvar(y102),call(mincexit,[lval(lvar(y103))]),assign(lvar(y104),lit(0),assign(field(x4,1),lval(lvar(y104)),assign(lvar(y95),lval(lvar(x4)),return))))))))))))),label_.BB0-assign(lvar(x4),newStruct(struct3),if(x4,label_.BB1,assign(lvar(y98),call(list.istr0,[]),assign(lvar(y99),call(prints,[lval(lvar(y98))]),assign(lvar(y100),call(list.istr1,[]),assign(lvar(y101),call(prints,[lval(lvar(y100))]),assign(lvar(y103),lit(1),assign(lvar(y102),call(mincexit,[lval(lvar(y103))]),assign(lvar(y104),lit(0),assign(field(x4,1),lval(lvar(y104)),assign(lvar(y95),lval(lvar(x4)),return))))))))))),label_.BB1-assign(lvar(y104),lit(0),assign(field(x4,1),lval(lvar(y104)),assign(lvar(y95),lval(lvar(x4)),return)))],1)
magic_phi(main,[x2,x3],[long,ptrT(arrT(ptrT(arrT(byte))))],[y37,y38,y39,y40,y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51,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],[long,ptrT(structT(struct3)),ptrT(structT(struct3)),long,ptrT(structT(struct3)),long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,ptrT(long),long,long,long,ptrT(arrT(byte)),long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y41),lit(0),assign(lvar(y38),call(MakeEmpty,[lval(lvar(y41))]),assign(lvar(y39),call(Header,[lval(lvar(y38))]),assign(lvar(y42),call(PrintList,[lval(lvar(y38))]),assign(lvar(y40),lit(0),goto(label_.BB3)))))),label_.BB2-assign(lvar(y43),call(Insert,[lval(lvar(y40)),lval(lvar(y38)),lval(lvar(y39))]),assign(lvar(y44),call(PrintList,[lval(lvar(y38))]),assign(lvar(y39),call(Advance,[lval(lvar(y39))]),assign(lvar(y40),binop(add,lval(lvar(y40)),lit(1)),assign(lvar(y45),lval(lvar(y40)),assign(lvar(y45),binop(sub,lval(lvar(y45)),lit(10)),assign(lvar(y46),lval(lvar(y40)),assign(lvar(y48),lval(lvar(y40)),assign(lvar(y46),binop(or,lval(lvar(y46)),lit(10)),assign(lvar(y48),binop(and,lval(lvar(y48)),lit(10)),assign(lvar(y46),binop(sub,lval(lvar(y46)),lval(lvar(y48))),assign(lvar(y47),lval(lvar(y45)),assign(lvar(y49),lval(lvar(y45)),assign(lvar(y47),binop(or,lval(lvar(y47)),lval(lvar(y40))),assign(lvar(y49),binop(and,lval(lvar(y49)),lval(lvar(y40))),assign(lvar(y47),binop(sub,lval(lvar(y47)),lval(lvar(y49))),assign(lvar(y46),binop(and,lval(lvar(y46)),lval(lvar(y47))),assign(lvar(y47),lval(lvar(y45)),assign(lvar(y50),lval(lvar(y45)),assign(lvar(y47),binop(or,lval(lvar(y47)),lval(lvar(y46))),assign(lvar(y50),binop(and,lval(lvar(y50)),lval(lvar(y46))),assign(lvar(y47),binop(sub,lval(lvar(y47)),lval(lvar(y50))),assign(lvar(y47),binop(sr,lval(lvar(y47)),lit(31)),if(y47,label_.BB2,assign(lvar(y40),lit(0),goto(label_.BB5)))))))))))))))))))))))))),label_.BB3-assign(lvar(y45),lval(lvar(y40)),assign(lvar(y45),binop(sub,lval(lvar(y45)),lit(10)),assign(lvar(y46),lval(lvar(y40)),assign(lvar(y48),lval(lvar(y40)),assign(lvar(y46),binop(or,lval(lvar(y46)),lit(10)),assign(lvar(y48),binop(and,lval(lvar(y48)),lit(10)),assign(lvar(y46),binop(sub,lval(lvar(y46)),lval(lvar(y48))),assign(lvar(y47),lval(lvar(y45)),assign(lvar(y49),lval(lvar(y45)),assign(lvar(y47),binop(or,lval(lvar(y47)),lval(lvar(y40))),assign(lvar(y49),binop(and,lval(lvar(y49)),lval(lvar(y40))),assign(lvar(y47),binop(sub,lval(lvar(y47)),lval(lvar(y49))),assign(lvar(y46),binop(and,lval(lvar(y46)),lval(lvar(y47))),assign(lvar(y47),lval(lvar(y45)),assign(lvar(y50),lval(lvar(y45)),assign(lvar(y47),binop(or,lval(lvar(y47)),lval(lvar(y46))),assign(lvar(y50),binop(and,lval(lvar(y50)),lval(lvar(y46))),assign(lvar(y47),binop(sub,lval(lvar(y47)),lval(lvar(y50))),assign(lvar(y47),binop(sr,lval(lvar(y47)),lit(31)),if(y47,label_.BB2,assign(lvar(y40),lit(0),goto(label_.BB5)))))))))))))))))))))),label_.BB4-assign(lvar(y51),call(Delete,[lval(lvar(y40)),lval(lvar(y38))]),assign(lvar(y52),lval(lvar(y40)),assign(lvar(y52),binop(add,lval(lvar(y52)),lit(2)),assign(lvar(y40),lval(lvar(y52)),assign(lvar(y53),lval(lvar(y40)),assign(lvar(y53),binop(sub,lval(lvar(y53)),lit(10)),assign(lvar(y54),lval(lvar(y40)),assign(lvar(y56),lval(lvar(y40)),assign(lvar(y54),binop(or,lval(lvar(y54)),lit(10)),assign(lvar(y56),binop(and,lval(lvar(y56)),lit(10)),assign(lvar(y54),binop(sub,lval(lvar(y54)),lval(lvar(y56))),assign(lvar(y55),lval(lvar(y53)),assign(lvar(y57),lval(lvar(y53)),assign(lvar(y55),binop(or,lval(lvar(y55)),lval(lvar(y40))),assign(lvar(y57),binop(and,lval(lvar(y57)),lval(lvar(y40))),assign(lvar(y55),binop(sub,lval(lvar(y55)),lval(lvar(y57))),assign(lvar(y54),binop(and,lval(lvar(y54)),lval(lvar(y55))),assign(lvar(y55),lval(lvar(y53)),assign(lvar(y58),lval(lvar(y53)),assign(lvar(y55),binop(or,lval(lvar(y55)),lval(lvar(y54))),assign(lvar(y58),binop(and,lval(lvar(y58)),lval(lvar(y54))),assign(lvar(y55),binop(sub,lval(lvar(y55)),lval(lvar(y58))),assign(lvar(y55),binop(sr,lval(lvar(y55)),lit(31)),if(y55,label_.BB4,assign(lvar(y40),lit(0),goto(label_.BB12)))))))))))))))))))))))))),label_.BB5-assign(lvar(y53),lval(lvar(y40)),assign(lvar(y53),binop(sub,lval(lvar(y53)),lit(10)),assign(lvar(y54),lval(lvar(y40)),assign(lvar(y56),lval(lvar(y40)),assign(lvar(y54),binop(or,lval(lvar(y54)),lit(10)),assign(lvar(y56),binop(and,lval(lvar(y56)),lit(10)),assign(lvar(y54),binop(sub,lval(lvar(y54)),lval(lvar(y56))),assign(lvar(y55),lval(lvar(y53)),assign(lvar(y57),lval(lvar(y53)),assign(lvar(y55),binop(or,lval(lvar(y55)),lval(lvar(y40))),assign(lvar(y57),binop(and,lval(lvar(y57)),lval(lvar(y40))),assign(lvar(y55),binop(sub,lval(lvar(y55)),lval(lvar(y57))),assign(lvar(y54),binop(and,lval(lvar(y54)),lval(lvar(y55))),assign(lvar(y55),lval(lvar(y53)),assign(lvar(y58),lval(lvar(y53)),assign(lvar(y55),binop(or,lval(lvar(y55)),lval(lvar(y54))),assign(lvar(y58),binop(and,lval(lvar(y58)),lval(lvar(y54))),assign(lvar(y55),binop(sub,lval(lvar(y55)),lval(lvar(y58))),assign(lvar(y55),binop(sr,lval(lvar(y55)),lit(31)),if(y55,label_.BB4,assign(lvar(y40),lit(0),goto(label_.BB12)))))))))))))))))))))),label_.BB6-assign(lvar(y59),lval(lvar(y40)),assign(lvar(y59),binop(and,lval(lvar(y59)),lit(1)),assign(lvar(y60),lval(lvar(y59)),assign(lvar(y60),binop(sub,lval(lvar(y60)),lit(1)),assign(lvar(y61),lval(lvar(y59)),assign(lvar(y61),binop(mul,lval(lvar(y61)),lit(-1)),assign(lvar(y61),binop(add,lval(lvar(y61)),lit(-1)),assign(lvar(y60),binop(and,lval(lvar(y60)),lval(lvar(y61))),assign(lvar(y60),binop(sr,lval(lvar(y60)),lit(31)),if(y60,label_.BB7,assign(lvar(y62),lit(0),goto(label_.BB8)))))))))))),label_.BB7-assign(lvar(y62),lit(1),assign(lvar(y63),call(Find,[lval(lvar(y40)),lval(lvar(y38))]),if(y63,label_.BB9,assign(lvar(y64),lit(0),goto(label_.BB10))))),label_.BB8-assign(lvar(y63),call(Find,[lval(lvar(y40)),lval(lvar(y38))]),if(y63,label_.BB9,assign(lvar(y64),lit(0),goto(label_.BB10)))),label_.BB9-assign(lvar(y64),lit(1),assign(lvar(y65),binop(eq,lval(lvar(y62)),lval(lvar(y64))),if(y65,label_.BB13,assign(lvar(y66),lit(1),goto(label_.BB14))))),label_.BB10-assign(lvar(y65),binop(eq,lval(lvar(y62)),lval(lvar(y64))),if(y65,label_.BB13,assign(lvar(y66),lit(1),goto(label_.BB14)))),label_.BB13-assign(lvar(y66),lit(0),if(y66,label_.BB11,assign(lvar(y67),call(testlist.istr3,[]),assign(lvar(y68),call(prints,[lval(lvar(y67))]),assign(lvar(y40),binop(add,lval(lvar(y40)),lit(1)),assign(lvar(y69),lval(lvar(y40)),assign(lvar(y69),binop(sub,lval(lvar(y69)),lit(10)),assign(lvar(y70),lval(lvar(y40)),assign(lvar(y72),lval(lvar(y40)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(10)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(10)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y73),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y40))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y40))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y73))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y71))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y74),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y70))),assign(lvar(y74),binop(and,lval(lvar(y74)),lval(lvar(y70))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y74))),assign(lvar(y71),binop(sr,lval(lvar(y71)),lit(31)),if(y71,label_.BB6,assign(lvar(y75),call(testlist.istr4,[]),assign(lvar(y76),call(prints,[lval(lvar(y75))]),assign(lvar(y77),call(PrintList,[lval(lvar(y38))]),assign(lvar(y78),call(DeleteList,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return)))))))))))))))))))))))))))))),label_.BB14-if(y66,label_.BB11,assign(lvar(y67),call(testlist.istr3,[]),assign(lvar(y68),call(prints,[lval(lvar(y67))]),assign(lvar(y40),binop(add,lval(lvar(y40)),lit(1)),assign(lvar(y69),lval(lvar(y40)),assign(lvar(y69),binop(sub,lval(lvar(y69)),lit(10)),assign(lvar(y70),lval(lvar(y40)),assign(lvar(y72),lval(lvar(y40)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(10)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(10)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y73),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y40))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y40))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y73))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y71))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y74),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y70))),assign(lvar(y74),binop(and,lval(lvar(y74)),lval(lvar(y70))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y74))),assign(lvar(y71),binop(sr,lval(lvar(y71)),lit(31)),if(y71,label_.BB6,assign(lvar(y75),call(testlist.istr4,[]),assign(lvar(y76),call(prints,[lval(lvar(y75))]),assign(lvar(y77),call(PrintList,[lval(lvar(y38))]),assign(lvar(y78),call(DeleteList,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return))))))))))))))))))))))))))))),label_.BB11-assign(lvar(y40),binop(add,lval(lvar(y40)),lit(1)),assign(lvar(y69),lval(lvar(y40)),assign(lvar(y69),binop(sub,lval(lvar(y69)),lit(10)),assign(lvar(y70),lval(lvar(y40)),assign(lvar(y72),lval(lvar(y40)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(10)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(10)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y73),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y40))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y40))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y73))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y71))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y74),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y70))),assign(lvar(y74),binop(and,lval(lvar(y74)),lval(lvar(y70))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y74))),assign(lvar(y71),binop(sr,lval(lvar(y71)),lit(31)),if(y71,label_.BB6,assign(lvar(y75),call(testlist.istr4,[]),assign(lvar(y76),call(prints,[lval(lvar(y75))]),assign(lvar(y77),call(PrintList,[lval(lvar(y38))]),assign(lvar(y78),call(DeleteList,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return)))))))))))))))))))))))))),label_.BB12-assign(lvar(y69),lval(lvar(y40)),assign(lvar(y69),binop(sub,lval(lvar(y69)),lit(10)),assign(lvar(y70),lval(lvar(y40)),assign(lvar(y72),lval(lvar(y40)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(10)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(10)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y73),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y40))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y40))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y73))),assign(lvar(y70),binop(and,lval(lvar(y70)),lval(lvar(y71))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y74),lval(lvar(y69)),assign(lvar(y71),binop(or,lval(lvar(y71)),lval(lvar(y70))),assign(lvar(y74),binop(and,lval(lvar(y74)),lval(lvar(y70))),assign(lvar(y71),binop(sub,lval(lvar(y71)),lval(lvar(y74))),assign(lvar(y71),binop(sr,lval(lvar(y71)),lit(31)),if(y71,label_.BB6,assign(lvar(y75),call(testlist.istr4,[]),assign(lvar(y76),call(prints,[lval(lvar(y75))]),assign(lvar(y77),call(PrintList,[lval(lvar(y38))]),assign(lvar(y78),call(DeleteList,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return)))))))))))))))))))))))))],1)
magic_phi(IsLast,[x6,x7],[ptrT(structT(struct3)),ptrT(long)],[y109,y110,y111,y112],[long,ptrT(long),long,long],label_.BB000,[label_.BB000-assign(lvar(y110),lval(field(x6,1)),if(y110,label_.BB20,assign(lvar(y111),lit(1),goto(label_.BB21)))),label_.BB20-assign(lvar(y111),lit(0),if(y111,label_.BB4,assign(lvar(y112),lit(0),goto(label_.BB5)))),label_.BB21-if(y111,label_.BB4,assign(lvar(y112),lit(0),goto(label_.BB5))),label_.BB4-assign(lvar(y112),lit(1),assign(lvar(y109),lval(lvar(y112)),return)),label_.BB5-assign(lvar(y109),lval(lvar(y112)),return)],1)
magic_phi(Retrieve,[x21],[ptrT(long)],[y156,y157],[long,long],label_.BB000,[label_.BB000-assign(lvar(y157),lval(deref(x21)),assign(lvar(y156),lval(lvar(y157)),return))],1)
magic_phi(Advance,[x20],[ptrT(structT(struct3))],[y154,y155],[ptrT(structT(struct3)),ptrT(structT(struct3))],label_.BB000,[label_.BB000-assign(lvar(y155),lval(field(x20,1)),assign(lvar(y154),lval(lvar(y155)),return))],1)
magic_phi(IsEmpty,[x5],[ptrT(structT(struct3))],[y105,y106,y107,y108],[long,ptrT(long),long,long],label_.BB000,[label_.BB000-assign(lvar(y106),lval(field(x5,1)),if(y106,label_.BB18,assign(lvar(y107),lit(1),goto(label_.BB19)))),label_.BB18-assign(lvar(y107),lit(0),if(y107,label_.BB2,assign(lvar(y108),lit(0),goto(label_.BB3)))),label_.BB19-if(y107,label_.BB2,assign(lvar(y108),lit(0),goto(label_.BB3))),label_.BB2-assign(lvar(y108),lit(1),assign(lvar(y105),lval(lvar(y108)),return)),label_.BB3-assign(lvar(y105),lval(lvar(y108)),return)],1)
magic_phi(Header,[x18],[ptrT(structT(struct3))],[y151],[ptrT(structT(struct3))],label_.BB000,[label_.BB000-assign(lvar(y151),lval(lvar(x18)),return)],1)
magic_phi(PrintList,[x1],[ptrT(structT(struct3))],[y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36],[long,ptrT(structT(struct3)),long,long,long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(byte)),long,long,long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y22),call(Header,[lval(lvar(x1))]),assign(lvar(y23),call(IsEmpty,[lval(lvar(x1))]),assign(lvar(y24),lval(lvar(y23)),assign(lvar(y24),binop(sub,lval(lvar(y24)),lit(1)),assign(lvar(y25),lval(lvar(y23)),assign(lvar(y25),binop(mul,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(add,lval(lvar(y25)),lit(-1)),assign(lvar(y24),binop(and,lval(lvar(y24)),lval(lvar(y25))),assign(lvar(y24),binop(sr,lval(lvar(y24)),lit(31)),if(y24,label_.BB0,assign(lvar(y26),call(testlist.istr0,[]),assign(lvar(y27),call(prints,[lval(lvar(y26))]),goto(label_.BB1))))))))))))),label_.BB0-assign(lvar(y22),call(Advance,[lval(lvar(y22))]),assign(lvar(y28),call(Retrieve,[lval(lvar(y22))]),assign(lvar(y29),call(print32,[lval(lvar(y28))]),assign(lvar(y30),call(testlist.istr1,[]),assign(lvar(y31),call(prints,[lval(lvar(y30))]),assign(lvar(y32),call(IsLast,[lval(lvar(y22)),lval(lvar(x1))]),assign(lvar(y33),lval(lvar(y32)),assign(lvar(y33),binop(sub,lval(lvar(y33)),lit(1)),assign(lvar(y34),lval(lvar(y32)),assign(lvar(y34),binop(mul,lval(lvar(y34)),lit(-1)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(-1)),assign(lvar(y33),binop(and,lval(lvar(y33)),lval(lvar(y34))),assign(lvar(y33),binop(sr,lval(lvar(y33)),lit(31)),if(y33,label_.BB0,assign(lvar(y35),call(testlist.istr2,[]),assign(lvar(y36),call(prints,[lval(lvar(y35))]),return)))))))))))))))),label_.BB1-return],1)
magic_phi(testlist.istr4,[],[],[y17,y18,y19,y20],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y18),lit(20),assign(lvar(y17),newArr(byte,binop(mul,lval(lvar(y18)),lit(1))),assign(lvar(y19),lval(lvar(y17)),assign(lvar(y20),lit(70),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(105),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(110),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(105),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(115),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(104),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(101),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(100),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(32),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(100),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(101),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(108),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(101),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(116),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(105),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(111),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(110),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(115),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(10),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(0),assign(arr(y19,lit(0)),lval(lvar(y20)),return))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(testlist.istr3,[],[],[y13,y14,y15,y16],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y14),lit(12),assign(lvar(y13),newArr(byte,binop(mul,lval(lvar(y14)),lit(1))),assign(lvar(y15),lval(lvar(y13)),assign(lvar(y16),lit(70),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(105),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(110),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(100),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(32),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(102),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(97),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(105),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(108),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(115),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(10),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(0),assign(arr(y15,lit(0)),lval(lvar(y16)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(testlist.istr2,[],[],[y9,y10,y11,y12],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y10),lit(2),assign(lvar(y9),newArr(byte,binop(mul,lval(lvar(y10)),lit(1))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y12),lit(10),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(0),assign(arr(y11,lit(0)),lval(lvar(y12)),return))))))))],1)
magic_phi(testlist.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(32),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(testlist.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(12),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(69),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(109),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(112),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(116),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(121),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(32),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(108),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(105),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(115),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(116),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(10),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)
