static void always_false_1() {
  if(0) {
    l1:;
  }
  l2:;
}

static void always_false_2() {
  if(0)
    l1:;
  l2:;
}

static void always_true_1() {
  if(1) {
    l1:;
  }
  l2:;
}

static void always_true_2() {
  if(1)
    l1:;
  l2:;
}

static void normal(int x, int y) {
  if(x == y) {
    l1:;
  }
  l2:;
}