Lifting Bits

Binary Translation by @trailofbits