char *creation_time; /* "hh:mm:ss". */
enum integer_format integer_format;
enum float_format float_format;
char *creation_time; /* "hh:mm:ss". */
enum integer_format integer_format;
enum float_format float_format;
casenumber case_cnt; /* -1 if unknown. */
char *product; /* Product name. */
char *product_ext; /* Extra product info. */
casenumber case_cnt; /* -1 if unknown. */
char *product; /* Product name. */
char *product_ext; /* Extra product info. */