Got past getValue of *value_tok