Make sure that do_cmd() doesn't overflow its arg-pointer array