X_out.java

public class X {
	public static void main(String[] args) {
		if (args instanceof @Readonly String) {
		}
	}
}