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