https://forum.tuts4you.com/topic/39566-devirtualizeme-themida-2460/
todo: jcc recognition
better way of doing lazy checks
deobfuscation for better performance or fish black
improve overall source code
too much overhead? xed+triton(capstone)
better recognition of push/pop handler
better IL (includes optimization) VTIL maybe
IR -> call?
compile to x86 somehow
esp/rsp is output
support dolphin