[nemetroid]

It is fully possible to launch a program with argc = 0. But yes, replace argc with (argc - 1) in the example to match the typical case.