let fmt_warn_shift_assert3 =
  format_of_string "shift assert broken (unsigned overflow): %a"