A_test64_in.java

package p;
class A {
	void m() {
		BigInteger /*[*/big/*]*/= new BigInteger("1");
	}
}