get-all-symbols