static int plus1(int i) { ret i+1; }
static BigInteger plus1(BigInteger i) { ret plus(i, bigint(1)); }