Will take an input of ASM and allow register setting and output for a very simple symbolic execution feature.