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