command line options, etc.