Very interesting. This was published in 2000, and the people we worked with were near Princeton, so this result - the specific utility of such an instruction, i

Very interesting. This was published in 2000, and the people we worked with were near Princeton, so this result - the specific utility of such an instruction, if not the semantics themselves - might very well be something that was known to some relevant people but not yet widely enough for any of our people to recognize it. Thanks!