beforeCtr.java

// "Permute arguments" "true"
public class S {
    public S(int i, String s){}
    void f() {
        new S("",1)<caret>;
    }
}