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