command_dump
return command_dump(argc - 1, argv + 1);
int command_dump(int argc, const char* const* argv);