let fmt_warn_shift_assert1 =
  format_of_string "shift assert broken (signed overflow): %a"