Random prng = new Random();
BigInteger bi;
try
{
bi = new BigInteger(25, 80, prng);
harness.check(bi.bitLength(), 25, "Constructed BigInteger MUST be 25-bit long");
bi = new BigInteger(2, 80, prng);
harness.check(bi.bitLength(), 2, "Constructed BigInteger MUST be 2-bit long");
int val = bi.intValue();
harness.check(val == 2 || val == 3, "Constructed BigInteger MUST be 2 or 3");