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