Adding a3 symbol download script