let mk_int_format     = "int_format"