Note that no blank lines are allowed.
def exec_patch():
addr = 0x224
addr2 = 0x224
count = 0x18d
while True:
d1 = bv.read(addr, 1)[0]
addr += 1
d1 -= 0x41
d1 = (d1 << 4)
d2 = bv.read(addr, 1)[0]
addr += 1
d2 -= 0x41
d2 += d1
d2 = d2.to_bytes(1, 'little')
bv.write(addr2, d2)
addr2 += 1
count -= 1
if count == 0:
break