began tutorial on assembly symbolic execution using symath