dispSymbols(\%main::);