title: Isn't void in int main(void) redundant?
body: <p>The C99 standard document I have clearly states that</p>
  
  <blockquote>
    <p><em>6.7.5.3.14</em> An identifier list declares only the identifiers of the parameters of the function. <strong>An empty list in a function declarator that is part of a definition of that function specifies that the function has no parameters.</strong> The empty list in a function declarator that is not part of a definition of that function specifies that no information about the number or types of the parameters is supplied.</p>
  </blockquote>
  
  <p>What I interpret from that sentence is that writing <code>void</code> in function definition is redundant. Did I get it correctly?</p>