// { 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() {

}