afterCtr.java

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