malloc() symbols[] for decoder too