For comformance with C standard, argv[argc] should be NULL.