;; Function __taint (__taint, funcdef_no=0, decl_uid=2398, cgraph_uid=1, symbol_order=0)

__taint (int a)
{
  int D.2421;
  int _2;

  <bb 2> :
  _2 = a_1(D);

  <bb 3> :
<L0>:
  return _2;

}



;; Function __taint_ptr (__taint_ptr, funcdef_no=1, decl_uid=2401, cgraph_uid=2, symbol_order=1)

__taint_ptr (int * a)
{
  int * D.2423;
  int * _2;

  <bb 2> :
  _2 = a_1(D);

  <bb 3> :
<L0>:
  return _2;

}



;; Function foo (foo, funcdef_no=2, decl_uid=2405, cgraph_uid=3, symbol_order=2)

foo (int a, int b)
{
  int c;
  int d;
  int D.2425;
  int _5;

  <bb 2> :
  d_1 = 12;
  c_4 = a_2(D) + b_3(D);
  _5 = c_4;

  <bb 3> :
<L0>:
  return _5;

}



;; Function main (main, funcdef_no=3, decl_uid=2412, cgraph_uid=4, symbol_order=4)

main (int argc, char * * argv)
{
  int b;
  int * pt1;
  int r;
  int * pt;
  int d;
  int a;
  int D.2427;
  int _13;

  <bb 2> :
  a_1 = 0;
  d_2 = 0;
  pt_3 = &t;
  a_6 = __taint (a_1);
  r_7 = 12;
  r_9 = foo (a_6, d_2);
  *pt_3 = a_6;
  pt1_11 = pt_3 + 16;
  b_12 = *pt1_11;
  _13 = 0;

  <bb 3> :
<L0>:
  return _13;

}