A_in.java

public class A {
	@Annot(x = 23, y = -3) void foo() {}
}