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

