let fmt_warn_bad_bitsize =
  format_of_string "problem with bitsSize of %a: not treated"