options.cc #2