main (int argc, char *argv[])
{
  do_cmd (argv[1]);
}