let
fmt_signed_overflow_assert =
format_of_string
"signed overflow assert broken: %a"