One question: in Listing 1 - is the order of line 13 and 14 the original one from our instrumentation?

Congrats Chengyu! And I'm also very sorry that someone had to read the KLEE-SA sources - I had a much nicer completely rewritten version of the searcher that unfortunately didn't make it into the paper (and hence the artefact).