Very rough built-in symbol decompressor...