int func9();

int main(int argc, char *argv[])
{
  return func9() == 3 ? 0 : 1;
}