# Pastebin x2jo6KoG
+1100: i89 = int_is_zero(i88)
guard_false(i89, descr=<Guard0x7fd6d44ff808>) [p1, p0, p87, p85, i83, i88, p3, p5, p6, p11, p13, p86]
+1110: i90 = int_eq(i83, -9223372036854775808)
guard_false(i90, descr=<Guard0x7fd6d44ff790>) [p1, p0, p87, p85, i83, i88, p3, p5, p6, p11, p13, p86]
+1129: i91 = int_floordiv(i83, i88)
+1161: i92 = int_mul(i91, i88)
+1168: i93 = int_lt(i88, 0)
guard_false(i93, descr=<Guard0x7fd6d44ff6a0>) [p1, p0, p87, p85, i91, i92, i83, p3, p5, p6, p11, p13, p86]
+1178: i94 = int_sub(i83, i92)
+1188: i95 = int_rshift(i94, 63)
+1192: i96 = int_add(i91, i95)