commented utilities/option.cc