More command-line processing code.