1// { dg-do compile }
2
3// Origin: Donald W. Gillies <dgillies@graviton.com>
4
5// PR c++/4494: Incorrect diagnostics about return type of main.
6
7typedef int int_t;
8
9int_t main() {
10
11}
12