One more exceedingly tiny quibble with [basic.start.main] :

Throughout the section, `main' is referred to as `main()', implying (even
though implicit int is now outlawed -- hooray!) `int main()' rather than
`int main(int, char **)' which implication is consistent with the rest of
the document ( which refers to functions by their signatures ).

A stylistic exception must surely be made in the case of `main', since
its type is implementation defined.