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