1  int a, b, d;
       2  short c[] = {4073709551611, 1, 4, 4};
       3  
       4  void fn1() {
       5    if (a)
       6      goto LABEL_vhvhP;
       7    for (;;) {
       8      for (; b; b++)
       9        d = c[b + 3] | c[b];
      10    LABEL_vhvhP:
      11      if (d)
      12        break;
      13    }
      14  }
      15  
      16  int main() { return 0; }