A small RISC-V symbolic execution engine - View it on GitHub