I believe the parameter(s) are turned into environment variables so the the following should allow you to access them:-

 void main(int argc, char **argv, char **envp) {
    while(*envp) {
        printf("%s\n",(*envp));
        *envp++;
    }
 }