#include <stdio.h>

int

main( int argc, char *argv[] )

{

  printf( "main\n" );

}