Symbol: decompress_exec