I want to mark a memory buffer as symbolic at a given point during execution. How do I do that? Also is it possible to mark some regions of code for concrete only execution? Like I don't want to do symbolic execution on libc etc.