Use decodeSymbol for now