8 # These can use the 16-bit encoding.
12 # These must use the 32-bit encoding because they involve
18 # These must use the 32-bit encoding because the source and
19 # destination do not match.
23 # These must use the 32-bit encoding because of the explicit