Index: cmd.src/cmdset.cc
===================================================================
--- cmd.src/cmdset.cc	(revision 9416)
+++ cmd.src/cmdset.cc	(working copy)
@@ -25,6 +25,7 @@
 02111-1307, USA. */
 /*@1@*/
 
+#include <cstdlib>
 #include "ddconfig.h"
 
 #include "cmdlexcl.h"
@@ -130,8 +131,12 @@
 //                   class cl_cmdline *cmdline, class cl_console_base *con)
 COMMAND_DO_WORK_UC(cl_step_cmd)
 {
+  int instrs = 1;
+  class cl_cmd_arg *parm= cmdline->param(0);
+  if (parm != NULL)
+	  instrs = parm->i_value;
   //printf("step %x\n",uc->PC);
-  uc->do_inst(1);
+  uc->do_inst(instrs);
   //printf("step done %x\n",uc->PC);
   uc->print_regs(con);
   return(0);