We should be able to write into the mapped file so we can also lift self modifying code.

Problem with this:

• the SMC might not be constant everytime, so in cases like those, we should flag that bytes and use pathsolver