int main(void); /* OR */ int main(int argc, char **argv); /* OR */ /* Some equivalent (typedef'd) or implementation-defined flavor. */
argc shall be non-negative and argv[argc]==NULL. If argc is positive, argv shall be some representation of the program name (which may or may not be any actual use) and argv to argv[argc-1] shall be the program parameters. If the host-environment does not provide upper- and lowercase, strings shall be lowercase.
- The C Standard, 18.104.22.168.1 (N1124 numbering)