baz ()
[uninit-B.c : 15] {
  int * i.0;
  int i;

  [uninit-B.c : 12] if ([uninit-B.c : 12] i != 0)
    {
      [uninit-B.c : 13] bar (i);
    }
  else
    {
      
    }
  [uninit-B.c : 14] i.0 = (int *) i;
  [uninit-B.c : 14] foo (i.0);
}