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