Symbol: tkt_to_value