let fmt_warn_shift_assert2 = format_of_string "shift assert broken (left operand should be nonnegative): %a"