;; Function void __tcf_0() (__tcf_0, funcdef_no=1200, decl_uid=26210, cgraph_uid=296)

void __tcf_0() ()
{
  <bb 2>:
  std::ios_base::Init::~Init (&__ioinit); [tail call]
  return;

}



;; Function int main() (main, funcdef_no=1172, decl_uid=26058, cgraph_uid=269) (executed once)

int main() ()
{
  int n;
  int n.4;
  struct basic_ostream & _11;
  struct basic_ostream & _13;
  struct basic_ostream & _15;
  struct basic_ostream & _17;
  struct basic_ostream & _19;
  struct basic_ostream & _23;

  <bb 2>:
  std::basic_istream<char>::operator>> (&cin, &n);
  # DEBUG x => 0
  n.4_30 = n;
  if (n.4_30 >= 0)
    goto <bb 3>;
  else
    goto <bb 5>;

  <bb 3>:
  if (n.4_30 == 3)
    goto <bb 4>;
  else
    goto <bb 5>;

  <bb 4>:
  _11 = std::basic_ostream<char>::operator<< (&cout, 2);
  _13 = std::operator<< <std::char_traits<char> > (_11, " ");
  _15 = std::basic_ostream<char>::operator<< (_13, 1);
  _17 = std::operator<< <std::char_traits<char> > (_15, " ");
  _19 = std::basic_ostream<char>::operator<< (_17, 0);
  # DEBUG this => _19
  # DEBUG __pf => endl
  std::endl<char, std::char_traits<char> > (_19);
  exit (0);

  <bb 5>:
  _23 = std::basic_ostream<char>::operator<< (&cout, -1);
  # DEBUG this => _23
  # DEBUG __pf => endl
  std::endl<char, std::char_traits<char> > (_23);
  n ={v} {CLOBBER};
  return 0;

}



;; Function (static initializers for a.cpp) (_GLOBAL__sub_I_main, funcdef_no=1201, decl_uid=26213, cgraph_uid=298) (executed once)

(static initializers for a.cpp) ()
{
  <bb 2>:
  # DEBUG __priority => 65535
  # DEBUG __initialize_p => 1
  std::ios_base::Init::Init (&__ioinit);
  atexit (__tcf_0); [tail call]
  return;

}