That's the old-style formal definition:
Code:
void main(argc, argv)
int argc;
char **argv;
{
    // ...
}