Extracting Instruction Semantics Via Symbolic Execution of Code Generators - View it on GitHub