def get_byte(self, index):
pos = self.size() // <NUM_LIT:8> - <NUM_LIT:1> - index<EOL>return self[pos * <NUM_LIT:8> + <NUM_LIT:7> : pos * <NUM_LIT:8>]<EOL>
Extracts a byte from a BV, where the index refers to the byte in a big-endian order

:param index: the byte to extract
:return: An 8-bit BV