let fmt_unary_minus_assert = 
  format_of_string "unary minus assert broken: %a"