avx support branch for klee - View it on GitHub