To specify a command-line option