if (-z BADSYMS ) {
         (`rm BADSYMS.out`);
           }
        else { print ("Bad symbols contained in BADSYMS.out\n"); }