¿Entonces me pregunto si los parámetros de la línea de comando siempre terminan en nulo? Google parece decir que sí, y la compilación en GCC indica que este es el caso, pero ¿puedo garantizar que esto sea siempre cierto?

int main(int argc, char** argv)
{
    char *p;

    for(int cnt=1; cnt < argc; ++cnt)
    {
        p = argv[cnt];
        printf("%d = [%s]\n", cnt, p);
    }
    return 0;
}

$ MyProgram -arg1 -arg2 -arg3
1 = -arg1
2 = -arg2
3 = -arg3