Remove const in systematic decode_symbol(), since it was inconsistant with the rest of the API