A_test64_out.java

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