*/
DEFTIMEVAR(TV_ALL_OPT , "allopt", "Firm: all optimizations")
DEFTIMEVAR(TV_VALUE_NUM , "valnum", "Firm: value numbers")
DEFTIMEVAR(TV_CREATE , "create", "Firm: creation")
*/
DEFTIMEVAR(TV_ALL_OPT , "allopt", "Firm: all optimizations")
DEFTIMEVAR(TV_VALUE_NUM , "valnum", "Firm: value numbers")
DEFTIMEVAR(TV_CREATE , "create", "Firm: creation")