text:  extern const unsigned char FAVPlayerVersionString[];
   extern const double FAVPlayerVersionNumber;
  
   const unsigned char FAVPlayerVersionString[] __attribute__ ((used)) = "@(#)PROGRAM:FAVPlayer  PROJECT:FAVPlayer-1" "\n";
   const double FAVPlayerVersionNumber __attribute__ ((used)) = (double)1.;
  