Hmm ... not really, because for these particular functions, the point is exactly that we *don't* translate them to some function call on the remote end. We evaluate them locally and push the resulting constant to the far side, thus avoiding issues like clock skew.
Ah, my pattern matching brain was so excited to see a use for routine mapping that I didn't notice that important detail.
