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

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