An AVX Lifter for the Hex-Rays Decompiler - View it on GitHub