int
main ()
{
  exit (0);
}