magic_struct(struct1,4,1,long)
magic_struct(struct1,0,0,long)
magic_struct(struct1,8,2,ptrT(arrT(long)))
magic_phi(TopAndPop,[x12],[ptrT(structT(struct1))],[y160,y161,y162,y163,y164,y165,y166,y167,y168,y169,y170,y171,y172],[long,long,long,long,ptrT(arrT(long)),ptrT(arrT(long)),long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y161),call(IsEmpty,[lval(lvar(x12))]),if(y161,label_.BB13,assign(lvar(y162),lval(field(x12,1)),assign(lvar(y163),lval(lvar(y162)),assign(lvar(y163),binop(add,lval(lvar(y163)),lit(-1)),assign(field(x12,1),lval(lvar(y163)),assign(lvar(y164),lval(field(x12,2)),assign(lvar(y165),lval(lvar(y164)),assign(lvar(y165),binop(add,lval(lvar(y165)),binop(mul,lval(lvar(y162)),lit(1))),assign(lvar(y166),lval(arr(y165,lit(0))),assign(lvar(y160),lval(lvar(y166)),goto(label_.BB14)))))))))))),label_.BB13-assign(lvar(y167),call(stackar.istr12,[]),assign(lvar(y168),call(prints,[lval(lvar(y167))]),assign(lvar(y169),call(stackar.istr13,[]),assign(lvar(y170),call(prints,[lval(lvar(y169))]),assign(lvar(y172),lit(1),assign(lvar(y171),call(mincexit,[lval(lvar(y172))]),assign(lvar(y160),lit(0),return))))))),label_.BB14-return],1)
magic_phi(MakeEmpty,[x6],[ptrT(structT(struct1))],[y118,y119],[long,long],label_.BB000,[label_.BB000-assign(lvar(y119),lit(-1),assign(field(x6,1),lval(lvar(y119)),return))],1)
magic_phi(IsFull,[x4],[ptrT(structT(struct1))],[y86,y87,y88,y89,y90,y91],[long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y87),lval(field(x4,1)),assign(lvar(y88),lval(field(x4,0)),assign(lvar(y89),lval(lvar(y88)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(-1)),assign(lvar(y90),binop(eq,lval(lvar(y87)),lval(lvar(y89))),if(y90,label_.BB2,assign(lvar(y91),lit(0),goto(label_.BB3)))))))),label_.BB2-assign(lvar(y91),lit(1),assign(lvar(y86),lval(lvar(y91)),return)),label_.BB3-assign(lvar(y86),lval(lvar(y91)),return)],1)
magic_phi(stackar.istr13,[],[],[y77,y78,y79,y80],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y78),lit(2),assign(lvar(y77),newArr(byte,binop(mul,lval(lvar(y78)),lit(1))),assign(lvar(y79),lval(lvar(y77)),assign(lvar(y80),lit(10),assign(arr(y79,lit(0)),lval(lvar(y80)),assign(lvar(y79),binop(add,lval(lvar(y79)),lit(1)),assign(lvar(y80),lit(0),assign(arr(y79,lit(0)),lval(lvar(y80)),return))))))))],1)
magic_phi(stackar.istr12,[],[],[y73,y74,y75,y76],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y74),lit(12),assign(lvar(y73),newArr(byte,binop(mul,lval(lvar(y74)),lit(1))),assign(lvar(y75),lval(lvar(y73)),assign(lvar(y76),lit(69),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(109),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(112),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(116),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(121),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(32),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(115),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(116),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(97),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(99),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(107),assign(arr(y75,lit(0)),lval(lvar(y76)),assign(lvar(y75),binop(add,lval(lvar(y75)),lit(1)),assign(lvar(y76),lit(0),assign(arr(y75,lit(0)),lval(lvar(y76)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackar.istr11,[],[],[y69,y70,y71,y72],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y70),lit(2),assign(lvar(y69),newArr(byte,binop(mul,lval(lvar(y70)),lit(1))),assign(lvar(y71),lval(lvar(y69)),assign(lvar(y72),lit(10),assign(arr(y71,lit(0)),lval(lvar(y72)),assign(lvar(y71),binop(add,lval(lvar(y71)),lit(1)),assign(lvar(y72),lit(0),assign(arr(y71,lit(0)),lval(lvar(y72)),return))))))))],1)
magic_phi(stackar.istr10,[],[],[y65,y66,y67,y68],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y66),lit(12),assign(lvar(y65),newArr(byte,binop(mul,lval(lvar(y66)),lit(1))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y68),lit(69),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(109),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(112),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(116),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(121),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(32),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(115),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(116),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(97),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(99),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(107),assign(arr(y67,lit(0)),lval(lvar(y68)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(1)),assign(lvar(y68),lit(0),assign(arr(y67,lit(0)),lval(lvar(y68)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackar.istr9,[],[],[y61,y62,y63,y64],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y62),lit(2),assign(lvar(y61),newArr(byte,binop(mul,lval(lvar(y62)),lit(1))),assign(lvar(y63),lval(lvar(y61)),assign(lvar(y64),lit(10),assign(arr(y63,lit(0)),lval(lvar(y64)),assign(lvar(y63),binop(add,lval(lvar(y63)),lit(1)),assign(lvar(y64),lit(0),assign(arr(y63,lit(0)),lval(lvar(y64)),return))))))))],1)
magic_phi(stackar.istr8,[],[],[y57,y58,y59,y60],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y58),lit(12),assign(lvar(y57),newArr(byte,binop(mul,lval(lvar(y58)),lit(1))),assign(lvar(y59),lval(lvar(y57)),assign(lvar(y60),lit(69),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(109),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(112),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(116),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(121),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(32),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(115),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(116),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(97),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(99),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(107),assign(arr(y59,lit(0)),lval(lvar(y60)),assign(lvar(y59),binop(add,lval(lvar(y59)),lit(1)),assign(lvar(y60),lit(0),assign(arr(y59,lit(0)),lval(lvar(y60)),return))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackar.istr7,[],[],[y53,y54,y55,y56],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y54),lit(2),assign(lvar(y53),newArr(byte,binop(mul,lval(lvar(y54)),lit(1))),assign(lvar(y55),lval(lvar(y53)),assign(lvar(y56),lit(10),assign(arr(y55,lit(0)),lval(lvar(y56)),assign(lvar(y55),binop(add,lval(lvar(y55)),lit(1)),assign(lvar(y56),lit(0),assign(arr(y55,lit(0)),lval(lvar(y56)),return))))))))],1)
magic_phi(stackar.istr6,[],[],[y49,y50,y51,y52],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y50),lit(11),assign(lvar(y49),newArr(byte,binop(mul,lval(lvar(y50)),lit(1))),assign(lvar(y51),lval(lvar(y49)),assign(lvar(y52),lit(70),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(117),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(108),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(108),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(32),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(115),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(116),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(97),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(99),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(107),assign(arr(y51,lit(0)),lval(lvar(y52)),assign(lvar(y51),binop(add,lval(lvar(y51)),lit(1)),assign(lvar(y52),lit(0),assign(arr(y51,lit(0)),lval(lvar(y52)),return)))))))))))))))))))))))))))))))))))],1)
magic_phi(stackar.istr5,[],[],[y45,y46,y47,y48],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y46),lit(2),assign(lvar(y45),newArr(byte,binop(mul,lval(lvar(y46)),lit(1))),assign(lvar(y47),lval(lvar(y45)),assign(lvar(y48),lit(10),assign(arr(y47,lit(0)),lval(lvar(y48)),assign(lvar(y47),binop(add,lval(lvar(y47)),lit(1)),assign(lvar(y48),lit(0),assign(arr(y47,lit(0)),lval(lvar(y48)),return))))))))],1)
magic_phi(stackar.istr4,[],[],[y41,y42,y43,y44],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y42),lit(16),assign(lvar(y41),newArr(byte,binop(mul,lval(lvar(y42)),lit(1))),assign(lvar(y43),lval(lvar(y41)),assign(lvar(y44),lit(79),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(117),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(116),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(32),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(111),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(102),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(32),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(115),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(112),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(97),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(99),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(101),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(33),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(33),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(33),assign(arr(y43,lit(0)),lval(lvar(y44)),assign(lvar(y43),binop(add,lval(lvar(y43)),lit(1)),assign(lvar(y44),lit(0),assign(arr(y43,lit(0)),lval(lvar(y44)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(stackar.istr3,[],[],[y37,y38,y39,y40],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y38),lit(2),assign(lvar(y37),newArr(byte,binop(mul,lval(lvar(y38)),lit(1))),assign(lvar(y39),lval(lvar(y37)),assign(lvar(y40),lit(10),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(0),assign(arr(y39,lit(0)),lval(lvar(y40)),return))))))))],1)
magic_phi(stackar.istr2,[],[],[y33,y34,y35,y36],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y34),lit(16),assign(lvar(y33),newArr(byte,binop(mul,lval(lvar(y34)),lit(1))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y36),lit(79),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(117),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(116),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(32),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(111),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(102),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(32),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(115),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(112),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(97),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(99),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(101),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(33),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(33),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(33),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(stackar.istr1,[],[],[y29,y30,y31,y32],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y30),lit(2),assign(lvar(y29),newArr(byte,binop(mul,lval(lvar(y30)),lit(1))),assign(lvar(y31),lval(lvar(y29)),assign(lvar(y32),lit(10),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(stackar.istr0,[],[],[y25,y26,y27,y28],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y26),lit(24),assign(lvar(y25),newArr(byte,binop(mul,lval(lvar(y26)),lit(1))),assign(lvar(y27),lval(lvar(y25)),assign(lvar(y28),lit(83),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(116),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(97),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(99),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(107),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),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(115),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(105),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(122),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(101),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),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(105),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(115),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),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(116),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(111),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(111),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),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(115),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(109),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(97),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(108),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(108),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(DisposeStack,[x7],[ptrT(long)],[y120],[long],label_.BB000,[label_.BB000-return],1)
magic_phi(IsEmpty,[x3],[ptrT(structT(struct1))],[y81,y82,y83,y84,y85],[long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y82),lval(field(x3,1)),assign(lvar(y84),lit(-1),assign(lvar(y83),binop(eq,lval(lvar(y82)),lval(lvar(y84))),if(y83,label_.BB0,assign(lvar(y85),lit(0),goto(label_.BB1)))))),label_.BB0-assign(lvar(y85),lit(1),assign(lvar(y81),lval(lvar(y85)),return)),label_.BB1-assign(lvar(y81),lval(lvar(y85)),return)],1)
magic_phi(Pop,[x11],[ptrT(structT(struct1))],[y148,y149,y150,y151,y152,y153,y154,y155,y156,y157,y158,y159],[long,long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y149),call(IsEmpty,[lval(lvar(x11))]),assign(lvar(y150),lval(lvar(y149)),assign(lvar(y150),binop(sub,lval(lvar(y150)),lit(1)),assign(lvar(y151),lval(lvar(y149)),assign(lvar(y151),binop(mul,lval(lvar(y151)),lit(-1)),assign(lvar(y151),binop(add,lval(lvar(y151)),lit(-1)),assign(lvar(y150),binop(and,lval(lvar(y150)),lval(lvar(y151))),assign(lvar(y150),binop(sr,lval(lvar(y150)),lit(31)),if(y150,label_.BB11,assign(lvar(y152),call(stackar.istr10,[]),assign(lvar(y153),call(prints,[lval(lvar(y152))]),assign(lvar(y154),call(stackar.istr11,[]),assign(lvar(y155),call(prints,[lval(lvar(y154))]),assign(lvar(y157),lit(1),assign(lvar(y156),call(mincexit,[lval(lvar(y157))]),goto(label_.BB12)))))))))))))))),label_.BB11-assign(lvar(y158),lval(field(x11,1)),assign(lvar(y159),lval(lvar(y158)),assign(lvar(y159),binop(add,lval(lvar(y159)),lit(-1)),assign(field(x11,1),lval(lvar(y159)),return)))),label_.BB12-return],1)
magic_phi(Top,[x10],[ptrT(structT(struct1))],[y136,y137,y138,y139,y140,y141,y142,y143,y144,y145,y146,y147],[long,long,long,ptrT(arrT(long)),ptrT(arrT(long)),long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y137),call(IsEmpty,[lval(lvar(x10))]),if(y137,label_.BB9,assign(lvar(y138),lval(field(x10,1)),assign(lvar(y139),lval(field(x10,2)),assign(lvar(y140),lval(lvar(y139)),assign(lvar(y140),binop(add,lval(lvar(y140)),binop(mul,lval(lvar(y138)),lit(1))),assign(lvar(y141),lval(arr(y140,lit(0))),assign(lvar(y136),lval(lvar(y141)),goto(label_.BB10))))))))),label_.BB9-assign(lvar(y142),call(stackar.istr8,[]),assign(lvar(y143),call(prints,[lval(lvar(y142))]),assign(lvar(y144),call(stackar.istr9,[]),assign(lvar(y145),call(prints,[lval(lvar(y144))]),assign(lvar(y147),lit(1),assign(lvar(y146),call(mincexit,[lval(lvar(y147))]),assign(lvar(y136),lit(0),return))))))),label_.BB10-return],1)
magic_phi(Push,[x8,x9],[long,ptrT(structT(struct1))],[y121,y122,y123,y124,y125,y126,y127,y128,y129,y130,y131,y132,y133,y134,y135],[long,long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long,long,long,ptrT(arrT(long)),ptrT(arrT(long))],label_.BB000,[label_.BB000-assign(lvar(y122),call(IsFull,[lval(lvar(x9))]),assign(lvar(y123),lval(lvar(y122)),assign(lvar(y123),binop(sub,lval(lvar(y123)),lit(1)),assign(lvar(y124),lval(lvar(y122)),assign(lvar(y124),binop(mul,lval(lvar(y124)),lit(-1)),assign(lvar(y124),binop(add,lval(lvar(y124)),lit(-1)),assign(lvar(y123),binop(and,lval(lvar(y123)),lval(lvar(y124))),assign(lvar(y123),binop(sr,lval(lvar(y123)),lit(31)),if(y123,label_.BB7,assign(lvar(y125),call(stackar.istr6,[]),assign(lvar(y126),call(prints,[lval(lvar(y125))]),assign(lvar(y127),call(stackar.istr7,[]),assign(lvar(y128),call(prints,[lval(lvar(y127))]),assign(lvar(y130),lit(1),assign(lvar(y129),call(mincexit,[lval(lvar(y130))]),goto(label_.BB8)))))))))))))))),label_.BB7-assign(lvar(y131),lval(field(x9,1)),assign(lvar(y132),lval(lvar(y131)),assign(lvar(y132),binop(add,lval(lvar(y132)),lit(1)),assign(field(x9,1),lval(lvar(y132)),assign(lvar(y133),lval(field(x9,1)),assign(lvar(y134),lval(field(x9,2)),assign(lvar(y135),lval(lvar(y134)),assign(lvar(y135),binop(add,lval(lvar(y135)),binop(mul,lval(lvar(y133)),lit(1))),assign(arr(y135,lit(0)),lval(lvar(x8)),return))))))))),label_.BB8-return],1)
magic_phi(CreateStack,[x5],[long],[y92,y93,y94,y95,y96,y97,y98,y99,y100,y101,y102,y103,y104,y105,y106,y107,y108,y109,y110,y111,y112,y113,y114,y115,y116,y117],[ptrT(structT(struct1)),ptrT(structT(struct1)),long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(long)),ptrT(long),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y94),lval(lvar(x5)),assign(lvar(y94),binop(sub,lval(lvar(y94)),lit(5)),assign(lvar(y94),binop(mul,lval(lvar(y94)),lit(-1)),assign(lvar(y94),binop(add,lval(lvar(y94)),lit(-1)),assign(lvar(y95),lit(5),assign(lvar(y96),lit(5),assign(lvar(y95),binop(or,lval(lvar(y95)),lval(lvar(x5))),assign(lvar(y96),binop(and,lval(lvar(y96)),lval(lvar(x5))),assign(lvar(y95),binop(sub,lval(lvar(y95)),lval(lvar(y96))),assign(lvar(y95),binop(or,lval(lvar(y95)),lval(lvar(y94))),assign(lvar(y94),lval(lvar(x5)),assign(lvar(y94),binop(mul,lval(lvar(y94)),lit(-1)),assign(lvar(y94),binop(add,lval(lvar(y94)),lit(-1)),assign(lvar(y94),binop(or,lval(lvar(y94)),lit(5)),assign(lvar(y94),binop(and,lval(lvar(y94)),lval(lvar(y95))),assign(lvar(y94),binop(sr,lval(lvar(y94)),lit(31)),if(y94,label_.BB4,assign(lvar(y97),call(stackar.istr0,[]),assign(lvar(y98),call(prints,[lval(lvar(y97))]),assign(lvar(y99),call(stackar.istr1,[]),assign(lvar(y100),call(prints,[lval(lvar(y99))]),assign(lvar(y102),lit(1),assign(lvar(y101),call(mincexit,[lval(lvar(y102))]),assign(lvar(y93),newStruct(struct1),if(y93,label_.BB5,assign(lvar(y103),call(stackar.istr2,[]),assign(lvar(y104),call(prints,[lval(lvar(y103))]),assign(lvar(y105),call(stackar.istr3,[]),assign(lvar(y106),call(prints,[lval(lvar(y105))]),assign(lvar(y108),lit(1),assign(lvar(y107),call(mincexit,[lval(lvar(y108))]),assign(lvar(y109),newArr(long,binop(mul,lval(lvar(x5)),lit(1))),assign(field(y93,2),lval(lvar(y109)),assign(lvar(y110),lval(field(y93,2)),if(y110,label_.BB6,assign(lvar(y111),call(stackar.istr4,[]),assign(lvar(y112),call(prints,[lval(lvar(y111))]),assign(lvar(y113),call(stackar.istr5,[]),assign(lvar(y114),call(prints,[lval(lvar(y113))]),assign(lvar(y116),lit(1),assign(lvar(y115),call(mincexit,[lval(lvar(y116))]),assign(field(y93,0),lval(lvar(x5)),assign(lvar(y117),call(MakeEmpty,[lval(lvar(y93))]),assign(lvar(y92),lval(lvar(y93)),return)))))))))))))))))))))))))))))))))))))))))))),label_.BB4-assign(lvar(y93),newStruct(struct1),if(y93,label_.BB5,assign(lvar(y103),call(stackar.istr2,[]),assign(lvar(y104),call(prints,[lval(lvar(y103))]),assign(lvar(y105),call(stackar.istr3,[]),assign(lvar(y106),call(prints,[lval(lvar(y105))]),assign(lvar(y108),lit(1),assign(lvar(y107),call(mincexit,[lval(lvar(y108))]),assign(lvar(y109),newArr(long,binop(mul,lval(lvar(x5)),lit(1))),assign(field(y93,2),lval(lvar(y109)),assign(lvar(y110),lval(field(y93,2)),if(y110,label_.BB6,assign(lvar(y111),call(stackar.istr4,[]),assign(lvar(y112),call(prints,[lval(lvar(y111))]),assign(lvar(y113),call(stackar.istr5,[]),assign(lvar(y114),call(prints,[lval(lvar(y113))]),assign(lvar(y116),lit(1),assign(lvar(y115),call(mincexit,[lval(lvar(y116))]),assign(field(y93,0),lval(lvar(x5)),assign(lvar(y117),call(MakeEmpty,[lval(lvar(y93))]),assign(lvar(y92),lval(lvar(y93)),return))))))))))))))))))))),label_.BB5-assign(lvar(y109),newArr(long,binop(mul,lval(lvar(x5)),lit(1))),assign(field(y93,2),lval(lvar(y109)),assign(lvar(y110),lval(field(y93,2)),if(y110,label_.BB6,assign(lvar(y111),call(stackar.istr4,[]),assign(lvar(y112),call(prints,[lval(lvar(y111))]),assign(lvar(y113),call(stackar.istr5,[]),assign(lvar(y114),call(prints,[lval(lvar(y113))]),assign(lvar(y116),lit(1),assign(lvar(y115),call(mincexit,[lval(lvar(y116))]),assign(field(y93,0),lval(lvar(x5)),assign(lvar(y117),call(MakeEmpty,[lval(lvar(y93))]),assign(lvar(y92),lval(lvar(y93)),return))))))))))))),label_.BB6-assign(field(y93,0),lval(lvar(x5)),assign(lvar(y117),call(MakeEmpty,[lval(lvar(y93))]),assign(lvar(y92),lval(lvar(y93)),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,y24],[long,ptrT(structT(struct1)),long,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(y8),lit(12),assign(lvar(y6),call(CreateStack,[lval(lvar(y8))]),assign(lvar(y7),lit(0),goto(label_.BB1)))),label_.BB0-assign(lvar(y9),call(Push,[lval(lvar(y7)),lval(lvar(y6))]),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y10),lval(lvar(y7)),assign(lvar(y10),binop(sub,lval(lvar(y10)),lit(10)),assign(lvar(y11),lval(lvar(y7)),assign(lvar(y13),lval(lvar(y7)),assign(lvar(y11),binop(or,lval(lvar(y11)),lit(10)),assign(lvar(y13),binop(and,lval(lvar(y13)),lit(10)),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y13))),assign(lvar(y12),lval(lvar(y10)),assign(lvar(y14),lval(lvar(y10)),assign(lvar(y12),binop(or,lval(lvar(y12)),lval(lvar(y7))),assign(lvar(y14),binop(and,lval(lvar(y14)),lval(lvar(y7))),assign(lvar(y12),binop(sub,lval(lvar(y12)),lval(lvar(y14))),assign(lvar(y11),binop(and,lval(lvar(y11)),lval(lvar(y12))),assign(lvar(y12),lval(lvar(y10)),assign(lvar(y15),lval(lvar(y10)),assign(lvar(y12),binop(or,lval(lvar(y12)),lval(lvar(y11))),assign(lvar(y15),binop(and,lval(lvar(y15)),lval(lvar(y11))),assign(lvar(y12),binop(sub,lval(lvar(y12)),lval(lvar(y15))),assign(lvar(y12),binop(sr,lval(lvar(y12)),lit(31)),if(y12,label_.BB0,goto(label_.BB3))))))))))))))))))))))),label_.BB1-assign(lvar(y10),lval(lvar(y7)),assign(lvar(y10),binop(sub,lval(lvar(y10)),lit(10)),assign(lvar(y11),lval(lvar(y7)),assign(lvar(y13),lval(lvar(y7)),assign(lvar(y11),binop(or,lval(lvar(y11)),lit(10)),assign(lvar(y13),binop(and,lval(lvar(y13)),lit(10)),assign(lvar(y11),binop(sub,lval(lvar(y11)),lval(lvar(y13))),assign(lvar(y12),lval(lvar(y10)),assign(lvar(y14),lval(lvar(y10)),assign(lvar(y12),binop(or,lval(lvar(y12)),lval(lvar(y7))),assign(lvar(y14),binop(and,lval(lvar(y14)),lval(lvar(y7))),assign(lvar(y12),binop(sub,lval(lvar(y12)),lval(lvar(y14))),assign(lvar(y11),binop(and,lval(lvar(y11)),lval(lvar(y12))),assign(lvar(y12),lval(lvar(y10)),assign(lvar(y15),lval(lvar(y10)),assign(lvar(y12),binop(or,lval(lvar(y12)),lval(lvar(y11))),assign(lvar(y15),binop(and,lval(lvar(y15)),lval(lvar(y11))),assign(lvar(y12),binop(sub,lval(lvar(y12)),lval(lvar(y15))),assign(lvar(y12),binop(sr,lval(lvar(y12)),lit(31)),if(y12,label_.BB0,goto(label_.BB3))))))))))))))))))))),label_.BB2-assign(lvar(y16),call(Top,[lval(lvar(y6))]),assign(lvar(y17),call(print32,[lval(lvar(y16))]),assign(lvar(y18),call(teststka.istr0,[]),assign(lvar(y19),call(prints,[lval(lvar(y18))]),assign(lvar(y20),call(Pop,[lval(lvar(y6))]),assign(lvar(y21),call(IsEmpty,[lval(lvar(y6))]),assign(lvar(y22),lval(lvar(y21)),assign(lvar(y22),binop(sub,lval(lvar(y22)),lit(1)),assign(lvar(y23),lval(lvar(y21)),assign(lvar(y23),binop(mul,lval(lvar(y23)),lit(-1)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(-1)),assign(lvar(y22),binop(and,lval(lvar(y22)),lval(lvar(y23))),assign(lvar(y22),binop(sr,lval(lvar(y22)),lit(31)),if(y22,label_.BB2,assign(lvar(y24),call(DisposeStack,[lval(lvar(y6))]),assign(lvar(y5),lit(0),return)))))))))))))))),label_.BB3-assign(lvar(y21),call(IsEmpty,[lval(lvar(y6))]),assign(lvar(y22),lval(lvar(y21)),assign(lvar(y22),binop(sub,lval(lvar(y22)),lit(1)),assign(lvar(y23),lval(lvar(y21)),assign(lvar(y23),binop(mul,lval(lvar(y23)),lit(-1)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(-1)),assign(lvar(y22),binop(and,lval(lvar(y22)),lval(lvar(y23))),assign(lvar(y22),binop(sr,lval(lvar(y22)),lit(31)),if(y22,label_.BB2,assign(lvar(y24),call(DisposeStack,[lval(lvar(y6))]),assign(lvar(y5),lit(0),return)))))))))))],1)
magic_phi(teststka.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)
