Proof of Concept: Goal is to symbolically execute RISC-U binaries in ELF format compiled by Selfie. The exit point in the code will be given by the user. It is sufficient to execute (interpret) one candidate path at a time.