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