The debugger can be started using the following command line. (Assume the file you are debugging has the file name foo). sdcdb foo The debugger will look for the following files.