Declaration
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[0] shall be some representation of the program name (which may or may not be any actual use) and argv[1] to argv[argc-1] shall be the program parameters. If the host-environment does not provide upper- and lowercase, strings shall be lowercase.
References
- The C Standard, 5.1.2.2.1 (N1124 numbering)