char** args = argv;
    while(*args) {
        char* arg = *(args);
        std::cerr << "Arg:";
        while(*arg) {
            std::cerr << ' ' << std::hex << unsigned(*(arg++));
        }
        std::cerr << " ('" << *(args++) << "')\n";
    }