24   "--print-rejected-preprocessed-source",
 
   46   "--reduce-memory-overheads",
 
   69   "--listing-lhs-width",
 
   70   "--listing-lhs-width2",
 
   71   "--listing-rhs-width",
 
   72   "--listing-cont-lines",
 
   84   for(
int i=1; i<argc; i++)
 
   86     std::string argv_i=argv[i];
 
  106         *o!=
nullptr && !found;
 
  116           set(argv_i, argv[i+1]);
 
  125         set(os, argv_i.substr(os.size()+1));
 
  140       std::size_t equal_pos=argv_i.find(
'=');
 
  142       std::string a_opts=
"hls";
 
  143       if(argv_i.size()>2 &&
 
  144          equal_pos!=std::string::npos &&
 
  146         a_opts=argv_i.substr(2, equal_pos-2);
 
  147       else if(argv_i.size()>2 &&
 
  148               equal_pos==std::string::npos)
 
  149         a_opts=argv_i.substr(2);
 
  151       for(std::string::const_iterator
 
  156         if(equal_pos==std::string::npos)
 
  157           set(std::string(
"-a")+*it); 
 
  159           set(std::string(
"-a")+*it, argv_i.substr(equal_pos+1));
 
  172         *o!=
nullptr && !found;
 
  182           set(argv_i, argv[i+1]);
 
  192         set(os, argv_i.substr(os.size()+1));
 
  199       std::cerr << 
"Warning: uninterpreted as option '" << argv_i