iter_s5BH_info()
         { label: iter_s5BH_info
           rep:HeapRep 2 ptrs 6 nonptrs {
                 Fun {arity: 2 fun_type: ArgGen [True, True]} }
         }
     c6f9:
         _c6ea::I64 = %MO_S_Ge_W64(R2, I64[R1 + 30]);
         ;
         if (_c6ea::I64 >= 1) goto c6fb;
         _s5B7::I64 = %MO_S_Quot_W64(R2, I64[R1 + 22]);
         _s5B9::I64 = %MO_S_Rem_W64(R2, I64[R1 + 22]);
         _s5Bb::I64 = _s5B7::I64 * I64[R1 + 22];
         _s5Ba::I64 = _s5Bb::I64 + _s5B9::I64;
         _s5Bf::I64 = %MO_S_Quot_W64(_s5Ba::I64, I64[R1 + 22]);
         _s5Bh::I64 = %MO_S_Rem_W64(_s5Ba::I64, I64[R1 + 22]);
         _s5Bj::I64 = _s5Bf::I64 * I64[R1 + 22];
         _s5Bi::I64 = _s5Bj::I64 + _s5Bh::I64;
         _s5Bm::I64 = %MO_S_Quot_W64(_s5Bi::I64, I64[R1 + 22]);
         _s5Bo::I64 = %MO_S_Rem_W64(_s5Bi::I64, I64[R1 + 22]);
         _s5FB::I64 = _s5Bm::I64 * I64[R1 + 46];
         _s5Bq::I64 = _s5FB::I64 + _s5Bo::I64;
         _s5FA::I64 = I64[R1 + 38] + _s5Bq::I64;
         _s5Bz::F64 = F64[I64[R1 + 6] + 16 + (_s5FA::I64 << 3)];
         _s5Fz::I64 = _s5Bm::I64 * I64[R1 + 62];
         _s5Bv::I64 = _s5Fz::I64 + _s5Bo::I64;
         _s5Fy::I64 = I64[R1 + 54] + _s5Bv::I64;
         _s5BA::F64 = F64[I64[R1 + 14] + 16 + (_s5Fy::I64 << 3)];
         _s5BB::F64 = %MO_F_Sub_W64(_s5Bz::F64, _s5BA::F64);
         _c6eQ::I64 = %MO_F_Ge_W64(_s5BB::F64, 0.0 :: W64);
         ;
         if (_c6eQ::I64 >= 1) goto c6fd;
         _s5BE::F64 = %MO_F_Neg_W64(_s5BB::F64);
         _c6eW::I64 = %MO_F_Le_W64(_s5BE::F64, D1);
         ;
         if (_c6eW::I64 >= 1) goto c6fg;
         _s5Fx::I64 = R2 + 1;
         R2 = _s5Fx::I64;
         D1 = _s5BE::F64;
         jump iter_s5BH_info; // [R1, D1, R2]
     c6fb:
         D1 = D1;
         jump (I64[Sp + 0]); // [D1]
     c6fd:
         _c6eZ::I64 = %MO_F_Le_W64(_s5BB::F64, D1);
         ;
         if (_c6eZ::I64 >= 1) goto c6fj;
         _s5FK::I64 = R2 + 1;
         R2 = _s5FK::I64;
         D1 = _s5BB::F64;
         jump iter_s5BH_info; // [R1, D1, R2]
     c6fj:
         _s5FL::I64 = R2 + 1;
         R2 = _s5FL::I64;
         jump iter_s5BH_info; // [R1, D1, R2]
     c6fg:
         _s5FM::I64 = R2 + 1;
         R2 = _s5FM::I64;
         jump iter_s5BH_info; // [R1, D1, R2]
 },