3 ms·

My point is that it'd be pretty easy. The semantics are pretty close, it's only the syntax ("+/" -> "add.reduce") that varies.