{
const double w = weight ? case_num (c, weight) : 1.0;
const union value *val = case_data (c, var);
{
const double w = weight ? case_num (c, weight) : 1.0;
const union value *val = case_data (c, var);
{
const union value *val = case_data (c, var);
const double w = weight ? case_num (c, weight) : 1.0;
{
const union value *val = case_data (c, var);
const double w = weight ? case_num (c, weight) : 1.0;