magic_struct(struct1,4,1,ptrT(structT(struct1)))
magic_struct(struct1,0,0,long)
magic_phi(merge,[x4,x5],[ptrT(structT(struct1)),ptrT(structT(struct1))],[y83,y84,y85,y86,y87,y88,y89,y90,y91],[ptrT(structT(struct1)),long,long,long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-if(x4,label_.BB7,assign(lvar(y83),lval(lvar(x5)),goto(label_.BB10))),label_.BB7-if(x5,label_.BB8,assign(lvar(y83),lval(lvar(x4)),goto(label_.BB10))),label_.BB8-assign(lvar(y84),lval(field(x4,0)),assign(lvar(y85),lval(field(x5,0)),assign(lvar(y86),lval(lvar(y85)),assign(lvar(y86),binop(sub,lval(lvar(y86)),lval(lvar(y84))),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y87),lval(lvar(y84)),assign(lvar(y88),lval(lvar(y84)),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(y85))),assign(lvar(y88),binop(and,lval(lvar(y88)),lval(lvar(y85))),assign(lvar(y87),binop(sub,lval(lvar(y87)),lval(lvar(y88))),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(y86))),assign(lvar(y86),lval(lvar(y85)),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(or,lval(lvar(y86)),lval(lvar(y84))),assign(lvar(y86),binop(and,lval(lvar(y86)),lval(lvar(y87))),assign(lvar(y86),binop(sr,lval(lvar(y86)),lit(31)),if(y86,label_.BB9,assign(lvar(y89),call(merge,[lval(lvar(x5)),lval(lvar(x4))]),assign(lvar(y83),lval(lvar(y89)),goto(label_.BB10)))))))))))))))))))))),label_.BB9-assign(lvar(y90),lval(field(x4,1)),assign(lvar(y91),call(merge,[lval(lvar(y90)),lval(lvar(x5))]),assign(field(x4,1),lval(lvar(y91)),assign(lvar(y83),lval(lvar(x4)),return)))),label_.BB10-return],1)
magic_phi(split,[x6],[ptrT(structT(struct1))],[y92,y93,y94,y95,y96,y97,y98,y99],[ptrT(structT(struct1)),ptrT(structT(struct1)),long,ptrT(long),ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-if(x6,label_.BB18,assign(lvar(y94),lit(1),goto(label_.BB19))),label_.BB18-assign(lvar(y94),lit(0),if(y94,label_.BB11,assign(lvar(y95),lval(field(x6,1)),if(y95,label_.BB12,assign(lvar(y92),lit(0),goto(label_.BB13)))))),label_.BB19-if(y94,label_.BB11,assign(lvar(y95),lval(field(x6,1)),if(y95,label_.BB12,assign(lvar(y92),lit(0),goto(label_.BB13))))),label_.BB11-assign(lvar(y92),lit(0),goto(label_.BB13)),label_.BB12-assign(lvar(y96),lval(field(x6,1)),assign(lvar(y93),lval(lvar(y96)),assign(lvar(y97),lval(field(y93,1)),assign(field(x6,1),lval(lvar(y97)),assign(lvar(y98),lval(field(x6,1)),assign(lvar(y99),call(split,[lval(lvar(y98))]),assign(field(y93,1),lval(lvar(y99)),assign(lvar(y92),lval(lvar(y93)),return)))))))),label_.BB13-return],1)
magic_phi(mergeSort,[x3],[ptrT(structT(struct1))],[y77,y78,y79,y80,y81,y82],[ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(long),ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-assign(lvar(y79),lval(field(x3,1)),if(y79,label_.BB5,assign(lvar(y77),lval(lvar(x3)),goto(label_.BB6)))),label_.BB5-assign(lvar(y78),call(split,[lval(lvar(x3))]),assign(lvar(y80),call(mergeSort,[lval(lvar(x3))]),assign(lvar(y81),call(mergeSort,[lval(lvar(y78))]),assign(lvar(y82),call(merge,[lval(lvar(y80)),lval(lvar(y81))]),assign(lvar(y77),lval(lvar(y82)),return))))),label_.BB6-return],1)
magic_phi(printlist,[x9],[ptrT(structT(struct1))],[y109,y110,y111,y112,y113,y114,y115,y116,y117,y118,y119,y120,y121],[long,long,ptrT(structT(struct1)),long,long,ptrT(arrT(byte)),long,ptrT(structT(struct1)),ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y110),lit(0),assign(lvar(y111),lval(lvar(x9)),goto(label_.BB17))),label_.BB16-assign(lvar(y112),lval(field(y111,0)),assign(lvar(y113),call(print32,[lval(lvar(y112))]),assign(lvar(y114),call(mergesort.istr6,[]),assign(lvar(y115),call(prints,[lval(lvar(y114))]),assign(lvar(y116),lval(field(y111,1)),assign(lvar(y111),lval(lvar(y116)),assign(lvar(y110),binop(add,lval(lvar(y110)),lit(1)),if(y111,label_.BB16,assign(lvar(y117),call(mergesort.istr7,[]),assign(lvar(y118),call(prints,[lval(lvar(y117))]),assign(lvar(y119),call(print32,[lval(lvar(y110))]),assign(lvar(y120),call(mergesort.istr8,[]),assign(lvar(y121),call(prints,[lval(lvar(y120))]),return))))))))))))),label_.BB17-if(y111,label_.BB16,assign(lvar(y117),call(mergesort.istr7,[]),assign(lvar(y118),call(prints,[lval(lvar(y117))]),assign(lvar(y119),call(print32,[lval(lvar(y110))]),assign(lvar(y120),call(mergesort.istr8,[]),assign(lvar(y121),call(prints,[lval(lvar(y120))]),return))))))],1)
magic_phi(buildlist,[x7,x8],[long,long],[y100,y101,y102,y103,y104,y105,y106,y107,y108],[ptrT(structT(struct1)),ptrT(structT(struct1)),long,long,long,long,long,long,ptrT(structT(struct1))],label_.BB000,[label_.BB000-if(x7,label_.BB14,assign(lvar(y100),lit(0),goto(label_.BB15))),label_.BB14-assign(lvar(y101),newStruct(struct1),assign(lvar(y102),lit(20),assign(lvar(y103),lval(lvar(y102)),assign(lvar(y103),binop(mul,lval(lvar(y103)),lval(lvar(x7))),assign(lvar(y104),lval(lvar(y103)),assign(lvar(y104),binop(add,lval(lvar(y104)),lit(-3)),assign(lvar(y106),lval(lvar(y104)),assign(lvar(y106),binop(div,lval(lvar(y106)),lit(56)),assign(lvar(y106),binop(mul,lval(lvar(y106)),lit(56)),assign(lvar(y105),lval(lvar(y104)),assign(lvar(y105),binop(sub,lval(lvar(y105)),lval(lvar(y106))),assign(field(y101,0),lval(lvar(y105)),assign(lvar(y107),lval(lvar(x7)),assign(lvar(y107),binop(add,lval(lvar(y107)),lit(-1)),assign(lvar(y108),call(buildlist,[lval(lvar(y107)),lval(lvar(x8))]),assign(field(y101,1),lval(lvar(y108)),assign(lvar(y100),lval(lvar(y101)),return))))))))))))))))),label_.BB15-return],1)
magic_phi(main,[x1,x2],[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],[long,ptrT(structT(struct1)),long,long,long,long,long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(byte)),ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long],label_.BB000,[label_.BB000-assign(lvar(y39),lit(30),assign(lvar(y40),lit(1000),assign(lvar(y41),lit(1),assign(lvar(y41),binop(sub,lval(lvar(y41)),lval(lvar(x1))),assign(lvar(y41),binop(mul,lval(lvar(y41)),lit(-1)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(-1)),assign(lvar(y42),lval(lvar(x1)),assign(lvar(y43),lval(lvar(x1)),assign(lvar(y42),binop(or,lval(lvar(y42)),lit(1)),assign(lvar(y43),binop(and,lval(lvar(y43)),lit(1)),assign(lvar(y42),binop(sub,lval(lvar(y42)),lval(lvar(y43))),assign(lvar(y42),binop(or,lval(lvar(y42)),lval(lvar(y41))),assign(lvar(y41),lit(1),assign(lvar(y41),binop(mul,lval(lvar(y41)),lit(-1)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(-1)),assign(lvar(y41),binop(or,lval(lvar(y41)),lval(lvar(x1))),assign(lvar(y41),binop(and,lval(lvar(y41)),lval(lvar(y42))),assign(lvar(y41),binop(sr,lval(lvar(y41)),lit(31)),if(y41,label_.BB0,assign(lvar(y44),lval(arr(x2,lit(1))),assign(lvar(y39),call(atoi,[lval(lvar(y44))]),assign(lvar(y45),lit(2),assign(lvar(y45),binop(sub,lval(lvar(y45)),lval(lvar(x1))),assign(lvar(y45),binop(mul,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(add,lval(lvar(y45)),lit(-1)),assign(lvar(y46),lval(lvar(x1)),assign(lvar(y47),lval(lvar(x1)),assign(lvar(y46),binop(or,lval(lvar(y46)),lit(2)),assign(lvar(y47),binop(and,lval(lvar(y47)),lit(2)),assign(lvar(y46),binop(sub,lval(lvar(y46)),lval(lvar(y47))),assign(lvar(y46),binop(or,lval(lvar(y46)),lval(lvar(y45))),assign(lvar(y45),lit(2),assign(lvar(y45),binop(mul,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(add,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(or,lval(lvar(y45)),lval(lvar(x1))),assign(lvar(y45),binop(and,lval(lvar(y45)),lval(lvar(y46))),assign(lvar(y45),binop(sr,lval(lvar(y45)),lit(31)),if(y45,label_.BB1,assign(lvar(y48),lval(arr(x2,lit(2))),assign(lvar(y40),call(atoi,[lval(lvar(y48))]),assign(lvar(y49),call(mergesort.istr0,[]),assign(lvar(y50),call(prints,[lval(lvar(y49))]),assign(lvar(y51),call(print32,[lval(lvar(y39))]),assign(lvar(y52),call(mergesort.istr1,[]),assign(lvar(y53),call(prints,[lval(lvar(y52))]),assign(lvar(y54),call(print32,[lval(lvar(y40))]),assign(lvar(y55),call(mergesort.istr2,[]),assign(lvar(y56),call(prints,[lval(lvar(y55))]),assign(lvar(y38),call(buildlist,[lval(lvar(y39)),lval(lvar(y40))]),assign(lvar(y57),lit(200),assign(lvar(y57),binop(sub,lval(lvar(y57)),lval(lvar(y39))),assign(lvar(y58),lit(200),assign(lvar(y60),lit(200),assign(lvar(y58),binop(or,lval(lvar(y58)),lval(lvar(y39))),assign(lvar(y60),binop(and,lval(lvar(y60)),lval(lvar(y39))),assign(lvar(y58),binop(sub,lval(lvar(y58)),lval(lvar(y60))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y61),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lit(200)),assign(lvar(y61),binop(and,lval(lvar(y61)),lit(200)),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y61))),assign(lvar(y58),binop(and,lval(lvar(y58)),lval(lvar(y59))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y62),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lval(lvar(y58))),assign(lvar(y62),binop(and,lval(lvar(y62)),lval(lvar(y58))),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y62))),assign(lvar(y59),binop(sr,lval(lvar(y59)),lit(31)),if(y59,label_.BB2,assign(lvar(y63),call(mergesort.istr3,[]),assign(lvar(y64),call(prints,[lval(lvar(y63))]),assign(lvar(y65),call(printlist,[lval(lvar(y38))]),goto(label_.BB3))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB0-assign(lvar(y45),lit(2),assign(lvar(y45),binop(sub,lval(lvar(y45)),lval(lvar(x1))),assign(lvar(y45),binop(mul,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(add,lval(lvar(y45)),lit(-1)),assign(lvar(y46),lval(lvar(x1)),assign(lvar(y47),lval(lvar(x1)),assign(lvar(y46),binop(or,lval(lvar(y46)),lit(2)),assign(lvar(y47),binop(and,lval(lvar(y47)),lit(2)),assign(lvar(y46),binop(sub,lval(lvar(y46)),lval(lvar(y47))),assign(lvar(y46),binop(or,lval(lvar(y46)),lval(lvar(y45))),assign(lvar(y45),lit(2),assign(lvar(y45),binop(mul,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(add,lval(lvar(y45)),lit(-1)),assign(lvar(y45),binop(or,lval(lvar(y45)),lval(lvar(x1))),assign(lvar(y45),binop(and,lval(lvar(y45)),lval(lvar(y46))),assign(lvar(y45),binop(sr,lval(lvar(y45)),lit(31)),if(y45,label_.BB1,assign(lvar(y48),lval(arr(x2,lit(2))),assign(lvar(y40),call(atoi,[lval(lvar(y48))]),assign(lvar(y49),call(mergesort.istr0,[]),assign(lvar(y50),call(prints,[lval(lvar(y49))]),assign(lvar(y51),call(print32,[lval(lvar(y39))]),assign(lvar(y52),call(mergesort.istr1,[]),assign(lvar(y53),call(prints,[lval(lvar(y52))]),assign(lvar(y54),call(print32,[lval(lvar(y40))]),assign(lvar(y55),call(mergesort.istr2,[]),assign(lvar(y56),call(prints,[lval(lvar(y55))]),assign(lvar(y38),call(buildlist,[lval(lvar(y39)),lval(lvar(y40))]),assign(lvar(y57),lit(200),assign(lvar(y57),binop(sub,lval(lvar(y57)),lval(lvar(y39))),assign(lvar(y58),lit(200),assign(lvar(y60),lit(200),assign(lvar(y58),binop(or,lval(lvar(y58)),lval(lvar(y39))),assign(lvar(y60),binop(and,lval(lvar(y60)),lval(lvar(y39))),assign(lvar(y58),binop(sub,lval(lvar(y58)),lval(lvar(y60))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y61),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lit(200)),assign(lvar(y61),binop(and,lval(lvar(y61)),lit(200)),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y61))),assign(lvar(y58),binop(and,lval(lvar(y58)),lval(lvar(y59))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y62),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lval(lvar(y58))),assign(lvar(y62),binop(and,lval(lvar(y62)),lval(lvar(y58))),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y62))),assign(lvar(y59),binop(sr,lval(lvar(y59)),lit(31)),if(y59,label_.BB2,assign(lvar(y63),call(mergesort.istr3,[]),assign(lvar(y64),call(prints,[lval(lvar(y63))]),assign(lvar(y65),call(printlist,[lval(lvar(y38))]),goto(label_.BB3)))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB1-assign(lvar(y49),call(mergesort.istr0,[]),assign(lvar(y50),call(prints,[lval(lvar(y49))]),assign(lvar(y51),call(print32,[lval(lvar(y39))]),assign(lvar(y52),call(mergesort.istr1,[]),assign(lvar(y53),call(prints,[lval(lvar(y52))]),assign(lvar(y54),call(print32,[lval(lvar(y40))]),assign(lvar(y55),call(mergesort.istr2,[]),assign(lvar(y56),call(prints,[lval(lvar(y55))]),assign(lvar(y38),call(buildlist,[lval(lvar(y39)),lval(lvar(y40))]),assign(lvar(y57),lit(200),assign(lvar(y57),binop(sub,lval(lvar(y57)),lval(lvar(y39))),assign(lvar(y58),lit(200),assign(lvar(y60),lit(200),assign(lvar(y58),binop(or,lval(lvar(y58)),lval(lvar(y39))),assign(lvar(y60),binop(and,lval(lvar(y60)),lval(lvar(y39))),assign(lvar(y58),binop(sub,lval(lvar(y58)),lval(lvar(y60))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y61),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lit(200)),assign(lvar(y61),binop(and,lval(lvar(y61)),lit(200)),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y61))),assign(lvar(y58),binop(and,lval(lvar(y58)),lval(lvar(y59))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y62),lval(lvar(y57)),assign(lvar(y59),binop(or,lval(lvar(y59)),lval(lvar(y58))),assign(lvar(y62),binop(and,lval(lvar(y62)),lval(lvar(y58))),assign(lvar(y59),binop(sub,lval(lvar(y59)),lval(lvar(y62))),assign(lvar(y59),binop(sr,lval(lvar(y59)),lit(31)),if(y59,label_.BB2,assign(lvar(y63),call(mergesort.istr3,[]),assign(lvar(y64),call(prints,[lval(lvar(y63))]),assign(lvar(y65),call(printlist,[lval(lvar(y38))]),goto(label_.BB3))))))))))))))))))))))))))))))))),label_.BB2-assign(lvar(y66),call(mergesort.istr4,[]),assign(lvar(y67),call(prints,[lval(lvar(y66))]),assign(lvar(y38),call(mergeSort,[lval(lvar(y38))]),assign(lvar(y68),lit(200),assign(lvar(y68),binop(sub,lval(lvar(y68)),lval(lvar(y39))),assign(lvar(y69),lit(200),assign(lvar(y71),lit(200),assign(lvar(y69),binop(or,lval(lvar(y69)),lval(lvar(y39))),assign(lvar(y71),binop(and,lval(lvar(y71)),lval(lvar(y39))),assign(lvar(y69),binop(sub,lval(lvar(y69)),lval(lvar(y71))),assign(lvar(y70),lval(lvar(y68)),assign(lvar(y72),lval(lvar(y68)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(200)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(200)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y70))),assign(lvar(y70),lval(lvar(y68)),assign(lvar(y73),lval(lvar(y68)),assign(lvar(y70),binop(or,lval(lvar(y70)),lval(lvar(y69))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y69))),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y73))),assign(lvar(y70),binop(sr,lval(lvar(y70)),lit(31)),if(y70,label_.BB4,assign(lvar(y74),call(mergesort.istr5,[]),assign(lvar(y75),call(prints,[lval(lvar(y74))]),assign(lvar(y76),call(printlist,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return))))))))))))))))))))))))))),label_.BB3-assign(lvar(y38),call(mergeSort,[lval(lvar(y38))]),assign(lvar(y68),lit(200),assign(lvar(y68),binop(sub,lval(lvar(y68)),lval(lvar(y39))),assign(lvar(y69),lit(200),assign(lvar(y71),lit(200),assign(lvar(y69),binop(or,lval(lvar(y69)),lval(lvar(y39))),assign(lvar(y71),binop(and,lval(lvar(y71)),lval(lvar(y39))),assign(lvar(y69),binop(sub,lval(lvar(y69)),lval(lvar(y71))),assign(lvar(y70),lval(lvar(y68)),assign(lvar(y72),lval(lvar(y68)),assign(lvar(y70),binop(or,lval(lvar(y70)),lit(200)),assign(lvar(y72),binop(and,lval(lvar(y72)),lit(200)),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y72))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y70))),assign(lvar(y70),lval(lvar(y68)),assign(lvar(y73),lval(lvar(y68)),assign(lvar(y70),binop(or,lval(lvar(y70)),lval(lvar(y69))),assign(lvar(y73),binop(and,lval(lvar(y73)),lval(lvar(y69))),assign(lvar(y70),binop(sub,lval(lvar(y70)),lval(lvar(y73))),assign(lvar(y70),binop(sr,lval(lvar(y70)),lit(31)),if(y70,label_.BB4,assign(lvar(y74),call(mergesort.istr5,[]),assign(lvar(y75),call(prints,[lval(lvar(y74))]),assign(lvar(y76),call(printlist,[lval(lvar(y38))]),assign(lvar(y37),lit(0),return))))))))))))))))))))))))),label_.BB4-assign(lvar(y37),lit(0),return)],1)
magic_phi(mergesort.istr8,[],[],[y33,y34,y35,y36],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y34),lit(3),assign(lvar(y33),newArr(byte,binop(mul,lval(lvar(y34)),lit(1))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y36),lit(41),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(10),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(0),assign(arr(y35,lit(0)),lval(lvar(y36)),return)))))))))))],1)
magic_phi(mergesort.istr7,[],[],[y29,y30,y31,y32],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y30),lit(9),assign(lvar(y29),newArr(byte,binop(mul,lval(lvar(y30)),lit(1))),assign(lvar(y31),lval(lvar(y29)),assign(lvar(y32),lit(32),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(40),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(99),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(111),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(117),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(110),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(116),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(32),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(0),assign(arr(y31,lit(0)),lval(lvar(y32)),return)))))))))))))))))))))))))))))],1)
magic_phi(mergesort.istr6,[],[],[y25,y26,y27,y28],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y26),lit(2),assign(lvar(y25),newArr(byte,binop(mul,lval(lvar(y26)),lit(1))),assign(lvar(y27),lval(lvar(y25)),assign(lvar(y28),lit(32),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(0),assign(arr(y27,lit(0)),lval(lvar(y28)),return))))))))],1)
magic_phi(mergesort.istr5,[],[],[y21,y22,y23,y24],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y22),lit(6),assign(lvar(y21),newArr(byte,binop(mul,lval(lvar(y22)),lit(1))),assign(lvar(y23),lval(lvar(y21)),assign(lvar(y24),lit(79),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(117),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(116),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(58),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(32),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(0),assign(arr(y23,lit(0)),lval(lvar(y24)),return))))))))))))))))))))],1)
magic_phi(mergesort.istr4,[],[],[y17,y18,y19,y20],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y18),lit(35),assign(lvar(y17),newArr(byte,binop(mul,lval(lvar(y18)),lit(1))),assign(lvar(y19),lval(lvar(y17)),assign(lvar(y20),lit(78),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(116),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(112),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(114),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(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(110),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(103),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(108),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(116),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(97),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(32),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(110),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(103),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(104),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(62),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(50),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(48),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(48),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(mergesort.istr3,[],[],[y13,y14,y15,y16],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y14),lit(6),assign(lvar(y13),newArr(byte,binop(mul,lval(lvar(y14)),lit(1))),assign(lvar(y15),lval(lvar(y13)),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(73),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(58),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(0),assign(arr(y15,lit(0)),lval(lvar(y16)),return))))))))))))))))))))],1)
magic_phi(mergesort.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(mergesort.istr1,[],[],[y5,y6,y7,y8],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y6),lit(10),assign(lvar(y5),newArr(byte,binop(mul,lval(lvar(y6)),lit(1))),assign(lvar(y7),lval(lvar(y5)),assign(lvar(y8),lit(44),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),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(82),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(97),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(110),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(103),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(101),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(58),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),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(mergesort.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(9),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(76),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(101),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(110),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(103),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(104),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(58),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(0),assign(arr(y3,lit(0)),lval(lvar(y4)),return)))))))))))))))))))))))))))))],1)
