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