expected-integer-in-successor-weight.mir 687 Bytes