[[-(id(readInt),[type(map(type(class([]),0),type(int,4)),0),external,address(label(readInt))|_53]),-(id(writeInt),[type(map(type(int,4),type(class([]),0)),0),external,address(label(writeInt))|_54]),-(id(readBool),[type(map(type(class([]),0),type(bool,1)),0),external,address(label(readBool))|_55]),-(id(writeBool),[type(map(type(bool,1),type(class([]),0)),0),external,address(label(writeBool))|_56]),-(id(ex1),[type(map(type(class([field(id(a),type(int,4),_57),field(id(b),type(int,4),_58)]),_59),type(int,4)),_60),const(exp(type(map(type(class([field(id(a),type(int,4),_57),field(id(b),type(int,4),_58)]),_59),type(int,4)),_60),lit(map([[[],[]],assign(exp(type(class([field(id(_61),type(int,4),_62),field(id(_63),type(int,4),_64)]),_65),class([exp(type(int,4),id(i)),exp(type(int,4),id(j))])),exp(type(class([field(id(_61),type(int,4),_62),field(id(_63),type(int,4),_64)]),_65),class([exp(type(int,4),lit(int(1))),exp(type(int,4),lit(int(2)))])))],[-(id(a),[type(int,4),formal,address(offset(0,ap))|_66]),-(id(b),[type(int,4),formal,address(offset(4,ap))|_67]),result(type(int,4)),-(id(i),[type(int,4),write,address(offset(4,fp))|_68]),-(id(j),[type(int,4),write,address(offset(8,fp))|_69]),sizes(args(8),result(4),locals(8),temps(_70))|_71])))),address(label(ex1))|_72])|_73]|_74]