const main args?

[Andrej Mitrovic]

I don't recall the last time `void main()` was a bottleneck in my apps. :p
Maybe it would actually make a big difference in CGI apps though.