options.cc #1