code: def BYTE(self, offset, value):
          
          offset = Operators.ITEBV(256, offset < 32, (31 - offset) * 8, 256)
          return Operators.ZEXTEND(Operators.EXTRACT(value, offset, 8), 256)
docs: Retrieve single byte from word