/FileExtraction/Java_unseen/mistupv_JavaSlicer/sdg-core/src/test/res/regression/ltd-samples/BasicSwitchDefault.java.sdg.sliced
package mytest;

public class BasicSwitchDefault {

    public static void main(String[] args) {
        int x = Integer.valueOf(args[0]);
        int y;
        switch(x % 3) {
            case 0:
                y = 10;
                break;
            case 1:
                y = 20;
                break;
            case 2:
                y = 30;
                break;
            default:
                y = -1;
        }
        System.out.println(y);
    }
}
