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