Some axioms about instruction decoding/encodiing.
Merge commit '2baa7179023fcabbbf425ac422a5199abdf75684'