nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);
nukeSymbols(true); return; nukeSymbols(false);