added Symbol#all_symbols