<snip> If there's no enforcement, the instruction would probably be defined with a phrase along the lines of "should contain zeros; otherwise, the program may not operate compatibly in the future." </snip>
I suspect that it was so defined. For all I know there is some general statement like that somewhere, too. But certainly a specification exception would be what one might expect if there is enforcement. Peter Relson z/OS Core Technology Design
