magic_struct(struct1,0,0,long)
magic_struct(struct1,4,1,ptrT(structT(struct2)))
magic_struct(struct2,4,1,ptrT(structT(struct2)))
magic_struct(struct2,0,0,long)
magic_phi(MakeEmpty,[x4],[ptrT(structT(struct1))],[y78,y79,y80,y81,y82,y83,y84,y85,y86,y87,y88],[long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long,long,long,long],label_.BB000,[label_.BB000-if(x4,label_.BB4,assign(lvar(y79),call(stackli.istr2,[]),assign(lvar(y80),call(prints,[lval(lvar(y79))]),assign(lvar(y81),call(stackli.istr3,[]),assign(lvar(y82),call(prints,[lval(lvar(y81))]),assign(lvar(y84),lit(1),assign(lvar(y83),call(mincexit,[lval(lvar(y84))]),goto(label_.BB5)))))))),label_.BB3-assign(lvar(y85),call(Pop,[lval(lvar(x4))]),assign(lvar(y86),call(IsEmpty,[lval(lvar(x4))]),assign(lvar(y87),lval(lvar(y86)),assign(lvar(y87),binop(sub,lval(lvar(y87)),lit(1)),assign(lvar(y88),lval(lvar(y86)),assign(lvar(y88),binop(mul,lval(lvar(y88)),lit(-1)),assign(lvar(y88),binop(add,lval(lvar(y88)),lit(-1)),assign(lvar(y87),binop(and,lval(lvar(y87)),lval(lvar(y88))),assign(lvar(y87),binop(sr,lval(lvar(y87)),lit(31)),if(y87,label_.BB3,return)))))))))),label_.BB4-assign(lvar(y86),call(IsEmpty,[lval(lvar(x4))]),assign(lvar(y87),lval(lvar(y86)),assign(lvar(y87),binop(sub,lval(lvar(y87)),lit(1)),assign(lvar(y88),lval(lvar(y86)),assign(lvar(y88),binop(mul,lval(lvar(y88)),lit(-1)),assign(lvar(y88),binop(add,lval(lvar(y88)),lit(-1)),assign(lvar(y87),binop(and,lval(lvar(y87)),lval(lvar(y88))),assign(lvar(y87),binop(sr,lval(lvar(y87)),lit(31)),if(y87,label_.BB3,return))))))))),label_.BB5-return],1)
magic_phi(stackli.istr9,[],[],[y60,y61,y62,y63],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y61),lit(2),assign(lvar(y60),newArr(byte,binop(mul,lval(lvar(y61)),lit(1))),assign(lvar(y62),lval(lvar(y60)),assign(lvar(y63),lit(10),assign(arr(y62,lit(0)),lval(lvar(y63)),assign(lvar(y62),binop(add,lval(lvar(y62)),lit(1)),assign(lvar(y63),lit(0),assign(arr(y62,lit(0)),lval(lvar(y63)),return))))))))],1)
magic_phi(stackli.istr8,[],[],[y56,y57,y58,y59],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y57),lit(12),assign(lvar(y56),newArr(byte,binop(mul,lval(lvar(y57)),lit(1))),assign(lvar(y58),lval(lvar(y56)),assign(lvar(y59),lit(69),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(109),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(112),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(116),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(121),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(32),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(115),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(116),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(97),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(99),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(107),assign(arr(y58,lit(0)),lval(lvar(y59)),assign(lvar(y58),binop(add,lval(lvar(y58)),lit(1)),assign(lvar(y59),lit(0),assign(arr(y58,lit(0)),lval(lvar(y59)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackli.istr7,[],[],[y52,y53,y54,y55],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y53),lit(2),assign(lvar(y52),newArr(byte,binop(mul,lval(lvar(y53)),lit(1))),assign(lvar(y54),lval(lvar(y52)),assign(lvar(y55),lit(10),assign(arr(y54,lit(0)),lval(lvar(y55)),assign(lvar(y54),binop(add,lval(lvar(y54)),lit(1)),assign(lvar(y55),lit(0),assign(arr(y54,lit(0)),lval(lvar(y55)),return))))))))],1)
magic_phi(stackli.istr6,[],[],[y48,y49,y50,y51],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y49),lit(12),assign(lvar(y48),newArr(byte,binop(mul,lval(lvar(y49)),lit(1))),assign(lvar(y50),lval(lvar(y48)),assign(lvar(y51),lit(69),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(109),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(112),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(116),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(121),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(32),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(115),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(116),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(97),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(99),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(107),assign(arr(y50,lit(0)),lval(lvar(y51)),assign(lvar(y50),binop(add,lval(lvar(y50)),lit(1)),assign(lvar(y51),lit(0),assign(arr(y50,lit(0)),lval(lvar(y51)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackli.istr5,[],[],[y44,y45,y46,y47],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y45),lit(2),assign(lvar(y44),newArr(byte,binop(mul,lval(lvar(y45)),lit(1))),assign(lvar(y46),lval(lvar(y44)),assign(lvar(y47),lit(10),assign(arr(y46,lit(0)),lval(lvar(y47)),assign(lvar(y46),binop(add,lval(lvar(y46)),lit(1)),assign(lvar(y47),lit(0),assign(arr(y46,lit(0)),lval(lvar(y47)),return))))))))],1)
magic_phi(stackli.istr4,[],[],[y40,y41,y42,y43],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y41),lit(16),assign(lvar(y40),newArr(byte,binop(mul,lval(lvar(y41)),lit(1))),assign(lvar(y42),lval(lvar(y40)),assign(lvar(y43),lit(79),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(117),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(116),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(32),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(111),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(102),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(32),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(115),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(112),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(97),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(99),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(101),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(33),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(33),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(33),assign(arr(y42,lit(0)),lval(lvar(y43)),assign(lvar(y42),binop(add,lval(lvar(y42)),lit(1)),assign(lvar(y43),lit(0),assign(arr(y42,lit(0)),lval(lvar(y43)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackli.istr3,[],[],[y36,y37,y38,y39],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y37),lit(2),assign(lvar(y36),newArr(byte,binop(mul,lval(lvar(y37)),lit(1))),assign(lvar(y38),lval(lvar(y36)),assign(lvar(y39),lit(10),assign(arr(y38,lit(0)),lval(lvar(y39)),assign(lvar(y38),binop(add,lval(lvar(y38)),lit(1)),assign(lvar(y39),lit(0),assign(arr(y38,lit(0)),lval(lvar(y39)),return))))))))],1)
magic_phi(stackli.istr2,[],[],[y32,y33,y34,y35],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y33),lit(27),assign(lvar(y32),newArr(byte,binop(mul,lval(lvar(y33)),lit(1))),assign(lvar(y34),lval(lvar(y32)),assign(lvar(y35),lit(77),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(117),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(115),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(116),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(32),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(117),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(115),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(101),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(32),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(67),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(114),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(101),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(97),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(116),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(101),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(83),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(116),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(97),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(99),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(107),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(32),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(102),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(105),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(114),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(115),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(116),assign(arr(y34,lit(0)),lval(lvar(y35)),assign(lvar(y34),binop(add,lval(lvar(y34)),lit(1)),assign(lvar(y35),lit(0),assign(arr(y34,lit(0)),lval(lvar(y35)),return)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackli.istr1,[],[],[y28,y29,y30,y31],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y29),lit(2),assign(lvar(y28),newArr(byte,binop(mul,lval(lvar(y29)),lit(1))),assign(lvar(y30),lval(lvar(y28)),assign(lvar(y31),lit(10),assign(arr(y30,lit(0)),lval(lvar(y31)),assign(lvar(y30),binop(add,lval(lvar(y30)),lit(1)),assign(lvar(y31),lit(0),assign(arr(y30,lit(0)),lval(lvar(y31)),return))))))))],1)
magic_phi(stackli.istr0,[],[],[y24,y25,y26,y27],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y25),lit(16),assign(lvar(y24),newArr(byte,binop(mul,lval(lvar(y25)),lit(1))),assign(lvar(y26),lval(lvar(y24)),assign(lvar(y27),lit(79),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(117),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(116),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(32),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(111),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(102),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(32),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(115),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(112),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(97),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(99),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(101),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(33),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(33),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(33),assign(arr(y26,lit(0)),lval(lvar(y27)),assign(lvar(y26),binop(add,lval(lvar(y26)),lit(1)),assign(lvar(y27),lit(0),assign(arr(y26,lit(0)),lval(lvar(y27)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(DisposeStack,[x5],[ptrT(structT(struct1))],[y89,y90],[long,long],label_.BB000,[label_.BB000-assign(lvar(y90),call(MakeEmpty,[lval(lvar(x5))]),return)],1)
magic_phi(IsEmpty,[x3],[ptrT(structT(struct1))],[y64,y65,y66,y67],[long,ptrT(long),long,long],label_.BB000,[label_.BB000-assign(lvar(y65),lval(field(x3,1)),if(y65,label_.BB12,assign(lvar(y66),lit(1),goto(label_.BB13)))),label_.BB12-assign(lvar(y66),lit(0),if(y66,label_.BB0,assign(lvar(y67),lit(0),goto(label_.BB1)))),label_.BB13-if(y66,label_.BB0,assign(lvar(y67),lit(0),goto(label_.BB1))),label_.BB0-assign(lvar(y67),lit(1),assign(lvar(y64),lval(lvar(y67)),return)),label_.BB1-assign(lvar(y64),lval(lvar(y67)),return)],1)
magic_phi(Pop,[x9],[ptrT(structT(struct1))],[y110,y111,y112,y113,y114,y115,y116,y117,y118,y119,y120,y121,y122,y123],[long,ptrT(long),long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(long),ptrT(structT(struct2)),ptrT(structT(struct2))],label_.BB000,[label_.BB000-assign(lvar(y112),call(IsEmpty,[lval(lvar(x9))]),assign(lvar(y113),lval(lvar(y112)),assign(lvar(y113),binop(sub,lval(lvar(y113)),lit(1)),assign(lvar(y114),lval(lvar(y112)),assign(lvar(y114),binop(mul,lval(lvar(y114)),lit(-1)),assign(lvar(y114),binop(add,lval(lvar(y114)),lit(-1)),assign(lvar(y113),binop(and,lval(lvar(y113)),lval(lvar(y114))),assign(lvar(y113),binop(sr,lval(lvar(y113)),lit(31)),if(y113,label_.BB10,assign(lvar(y115),call(stackli.istr8,[]),assign(lvar(y116),call(prints,[lval(lvar(y115))]),assign(lvar(y117),call(stackli.istr9,[]),assign(lvar(y118),call(prints,[lval(lvar(y117))]),assign(lvar(y120),lit(1),assign(lvar(y119),call(mincexit,[lval(lvar(y120))]),goto(label_.BB11)))))))))))))))),label_.BB10-assign(lvar(y121),lval(field(x9,1)),assign(lvar(y111),lval(lvar(y121)),assign(lvar(y122),lval(field(x9,1)),assign(lvar(y123),lval(field(y122,1)),assign(field(x9,1),lval(lvar(y123)),return))))),label_.BB11-return],1)
magic_phi(Top,[x8],[ptrT(structT(struct1))],[y100,y101,y102,y103,y104,y105,y106,y107,y108,y109],[long,long,ptrT(long),long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y101),call(IsEmpty,[lval(lvar(x8))]),if(y101,label_.BB8,assign(lvar(y102),lval(field(x8,1)),assign(lvar(y103),lval(deref(y102)),assign(lvar(y100),lval(lvar(y103)),goto(label_.BB9)))))),label_.BB8-assign(lvar(y104),call(stackli.istr6,[]),assign(lvar(y105),call(prints,[lval(lvar(y104))]),assign(lvar(y106),call(stackli.istr7,[]),assign(lvar(y107),call(prints,[lval(lvar(y106))]),assign(lvar(y109),lit(1),assign(lvar(y108),call(mincexit,[lval(lvar(y109))]),assign(lvar(y100),lit(0),return))))))),label_.BB9-return],1)
magic_phi(Push,[x6,x7],[long,ptrT(structT(struct1))],[y91,y92,y93,y94,y95,y96,y97,y98,y99],[long,ptrT(structT(struct2)),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct2))],label_.BB000,[label_.BB000-assign(lvar(y92),newStruct(struct2),if(y92,label_.BB6,assign(lvar(y93),call(stackli.istr4,[]),assign(lvar(y94),call(prints,[lval(lvar(y93))]),assign(lvar(y95),call(stackli.istr5,[]),assign(lvar(y96),call(prints,[lval(lvar(y95))]),assign(lvar(y98),lit(1),assign(lvar(y97),call(mincexit,[lval(lvar(y98))]),goto(label_.BB7))))))))),label_.BB6-assign(field(y92,0),lval(lvar(x6)),assign(lvar(y99),lval(field(x7,1)),assign(field(y92,1),lval(lvar(y99)),assign(field(x7,1),lval(lvar(y92)),return)))),label_.BB7-return],1)
magic_phi(CreateStack,[],[],[y68,y69,y70,y71,y72,y73,y74,y75,y76,y77],[ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct2)),long],label_.BB000,[label_.BB000-assign(lvar(y69),newStruct(struct1),if(y69,label_.BB2,assign(lvar(y70),call(stackli.istr0,[]),assign(lvar(y71),call(prints,[lval(lvar(y70))]),assign(lvar(y72),call(stackli.istr1,[]),assign(lvar(y73),call(prints,[lval(lvar(y72))]),assign(lvar(y75),lit(1),assign(lvar(y74),call(mincexit,[lval(lvar(y75))]),assign(lvar(y76),lit(0),assign(field(y69,1),lval(lvar(y76)),assign(lvar(y77),call(MakeEmpty,[lval(lvar(y69))]),assign(lvar(y68),lval(lvar(y69)),return)))))))))))),label_.BB2-assign(lvar(y76),lit(0),assign(field(y69,1),lval(lvar(y76)),assign(lvar(y77),call(MakeEmpty,[lval(lvar(y69))]),assign(lvar(y68),lval(lvar(y69)),return))))],1)
magic_phi(main,[x1,x2],[long,ptrT(arrT(ptrT(arrT(byte))))],[y5,y6,y7,y8,y9,y10,y11,y12,y13,y14,y15,y16,y17,y18,y19,y20,y21,y22,y23],[long,ptrT(structT(struct1)),long,long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y6),call(CreateStack,[]),assign(lvar(y7),lit(0),goto(label_.BB1))),label_.BB0-assign(lvar(y8),call(Push,[lval(lvar(y7)),lval(lvar(y6))]),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y9),lval(lvar(y7)),assign(lvar(y9),binop(sub,lval(lvar(y9)),lit(10)),assign(lvar(y10),lval(lvar(y7)),assign(lvar(y12),lval(lvar(y7)),assign(lvar(y10),binop(or,lval(lvar(y10)),lit(10)),assign(lvar(y12),binop(and,lval(lvar(y12)),lit(10)),assign(lvar(y10),binop(sub,lval(lvar(y10)),lval(lvar(y12))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y13),lval(lvar(y9)),assign(lvar(y11),binop(or,lval(lvar(y11)),lval(lvar(y7))),assign(lvar(y13),binop(and,lval(lvar(y13)),lval(lvar(y7))),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y13))),assign(lvar(y10),binop(and,lval(lvar(y10)),lval(lvar(y11))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y14),lval(lvar(y9)),assign(lvar(y11),binop(or,lval(lvar(y11)),lval(lvar(y10))),assign(lvar(y14),binop(and,lval(lvar(y14)),lval(lvar(y10))),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y14))),assign(lvar(y11),binop(sr,lval(lvar(y11)),lit(31)),if(y11,label_.BB0,goto(label_.BB3))))))))))))))))))))))),label_.BB1-assign(lvar(y9),lval(lvar(y7)),assign(lvar(y9),binop(sub,lval(lvar(y9)),lit(10)),assign(lvar(y10),lval(lvar(y7)),assign(lvar(y12),lval(lvar(y7)),assign(lvar(y10),binop(or,lval(lvar(y10)),lit(10)),assign(lvar(y12),binop(and,lval(lvar(y12)),lit(10)),assign(lvar(y10),binop(sub,lval(lvar(y10)),lval(lvar(y12))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y13),lval(lvar(y9)),assign(lvar(y11),binop(or,lval(lvar(y11)),lval(lvar(y7))),assign(lvar(y13),binop(and,lval(lvar(y13)),lval(lvar(y7))),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y13))),assign(lvar(y10),binop(and,lval(lvar(y10)),lval(lvar(y11))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y14),lval(lvar(y9)),assign(lvar(y11),binop(or,lval(lvar(y11)),lval(lvar(y10))),assign(lvar(y14),binop(and,lval(lvar(y14)),lval(lvar(y10))),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y14))),assign(lvar(y11),binop(sr,lval(lvar(y11)),lit(31)),if(y11,label_.BB0,goto(label_.BB3))))))))))))))))))))),label_.BB2-assign(lvar(y15),call(Top,[lval(lvar(y6))]),assign(lvar(y16),call(print32,[lval(lvar(y15))]),assign(lvar(y17),call(teststkl.istr0,[]),assign(lvar(y18),call(prints,[lval(lvar(y17))]),assign(lvar(y19),call(Pop,[lval(lvar(y6))]),assign(lvar(y20),call(IsEmpty,[lval(lvar(y6))]),assign(lvar(y21),lval(lvar(y20)),assign(lvar(y21),binop(sub,lval(lvar(y21)),lit(1)),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y22),binop(mul,lval(lvar(y22)),lit(-1)),assign(lvar(y22),binop(add,lval(lvar(y22)),lit(-1)),assign(lvar(y21),binop(and,lval(lvar(y21)),lval(lvar(y22))),assign(lvar(y21),binop(sr,lval(lvar(y21)),lit(31)),if(y21,label_.BB2,assign(lvar(y23),call(DisposeStack,[lval(lvar(y6))]),assign(lvar(y5),lit(0),return)))))))))))))))),label_.BB3-assign(lvar(y20),call(IsEmpty,[lval(lvar(y6))]),assign(lvar(y21),lval(lvar(y20)),assign(lvar(y21),binop(sub,lval(lvar(y21)),lit(1)),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y22),binop(mul,lval(lvar(y22)),lit(-1)),assign(lvar(y22),binop(add,lval(lvar(y22)),lit(-1)),assign(lvar(y21),binop(and,lval(lvar(y21)),lval(lvar(y22))),assign(lvar(y21),binop(sr,lval(lvar(y21)),lit(31)),if(y21,label_.BB2,assign(lvar(y23),call(DisposeStack,[lval(lvar(y6))]),assign(lvar(y5),lit(0),return)))))))))))],1)
magic_phi(teststkl.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(2),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),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)
