Symbol: Value_t