static BigInteger plus(BigInteger a, BigInteger b) {
  ret a.add(b);
}

static BigInteger plus(BigInteger a, long b) {
  ret a.add(bigint(b));
}