The full-width marker called the signed mul helper with a constant whose product overflows int, which is UB and made the assertion rely on wrap-around. Add mulu(unsigned, unsigned) for marker 10; the low-32 product and MPYS selection are unchanged. Check the optimized IR has no nsw on mulu.