static SS ai_addInts2(S a, S b, S c) {
  ret litcimap(c, plus(bigint(a), bigint(b));
}