/* Check to see if the file is a .sav or a .por file. If not
assume that it is a syntax file */
if ( any_reader_may_open (filename))
/* Check to see if the file is a .sav or a .por file. If not
assume that it is a syntax file */
if ( any_reader_may_open (filename))