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