* ConstantSymbolsOf now takes multiple arguments.