let mk_real_format    = "real_format"