PyVEX provides an interface that translates binary code into the VEX
intermediate represenation (IR).