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