runcmd.cc #1