// { dg-do compile } // Origin: Donald W. Gillies <dgillies@graviton.com> // PR c++/4494: Incorrect diagnostics about return type of main. typedef int int_t; int_t main() { }