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