//0 L1: if (check(0)) { //1 if (!(check(1))) { break L1; } //2 } //3