Oh, the easier way is to use `numbered_symbols(name, cls=Dummy)`.