Symbol: val2_t