let fmt_divisor_assert = 
  format_of_string "divisor assert broken: %a"