command-line interface stuff goes here