add3 operation will have 3 inputs, though. do we have other integer operations with 3 64-bit inputs?