const struct per_var_stats *per_var_stats = &os.stats[i];
const struct variable *var = per_var_stats->var;
const union value *val = case_data (c, var);
const struct per_var_stats *per_var_stats = &os.stats[i];
const struct variable *var = per_var_stats->var;
const union value *val = case_data (c, var);
struct per_var_stats *per_var_stats = &os.stats[i];
const struct variable *var = per_var_stats->var;
const union value *val = case_data (c, var);
struct per_var_stats *per_var_stats = &os.stats[i];
const struct variable *var = per_var_stats->var;
const union value *val = case_data (c, var);