sbool ai_intAdditionCheck(S a, S b, S c) {
  print("ai_intAdditionCheck " + a + " " + b + " " + c);
  ret eq(plus(bigint(a), bigint(b)), bigint(c));
}