Symbol: to_decoder