sS ai_multiplyInts(S a, S b) {
  ret print("ai_multiplyInts", str(mul(bigint(a), bigint(b)));
}