int main( int /*argc*/, const char* /*argv*/[] )
{
  return 0;
}