void Error_RequiresArgument (string option) { Report.Error (2006, "Missing argument for `{0}' option", option); }