command-line processing