1 
2 extern void varinfo5_main ( void );
3 
4 int main ( void ) {
5   varinfo5_main();
6   return 0;
7 }
8