Issue #8: Assured correct behavior of a right shift of signed 8-bit integers in the instruction sets