let fmt_warn_shift_assert4 =
  format_of_string "shift assert broken (bad right operand): %a"