package return_out;
public class A_test717 {
public boolean foo() {
int i= 0;
return extracted(i);
}
protected boolean extracted(int i) {
/*[*/switch(i) {
case 10:
return false;
default:
throw new NullPointerException();
}/*]*/
}
}