;; Function int main() (main, funcdef_no=0, decl_uid=2783, cgraph_uid=0, symbol_order=0)

int main() ()
{
  int * b;
  const int * a;
  const int c;
  int D.2789;
  int _1;
  int _9;

  <bb 2> [0.00%]:
  c = 10;
  a_4 = &c;
  b_5 = a_4;
  *b_5 = 7;
  _1 = *b_5;
  printf ("%d, %d\n", 10, _1);

  <bb 3> [0.00%]:
  c ={v} {CLOBBER};
  _9 = 0;

<L0> [0.00%]:
  return _9;

<L1> [0.00%]:
  c ={v} {CLOBBER};
  resx 1

}