let fmt_unsigned_overflow_assert =
  format_of_string "unsigned overflow assert broken: %a"