1  
       2  
       3  int a, b, c;
       4  void fn1() {
       5    unsigned char d = 3;
       6    if (d > 11)
       7    lbl_596:
       8    c = 0;
       9    while (!d)
      10      b = b;
      11    unsigned char e = e || d;
      12    d = e;
      13    if (a)
      14      d = d || a;
      15    goto lbl_596;
      16  }