def BYTE(self, offset, value):
offset = Operators.ITEBV(<NUM_LIT>, offset < <NUM_LIT:32>, (<NUM_LIT> - offset) * <NUM_LIT:8>, <NUM_LIT>)<EOL>return Operators.ZEXTEND(Operators.EXTRACT(value, offset, <NUM_LIT:8>), <NUM_LIT>)<EOL>
Retrieve single byte from word