// Test NO SUCH VARIABLE
// All referenced variables must exist.

class Main extends Other {
	int a;
	int b;
	int C;
	Object notC;

	void main() {
		int a;
		boolean b;
		write(c + 1);
	}
}

class Other {
	boolean a;
	boolean b;
	boolean C;
	Object[] notC;

	void main() {
		int a;
		boolean b;
		Object c;
	}
}