commented /utilities/option.cc