runcmd.cc #2