I\'m new to angr, trying to solve a simple executable, it reads 3 characters and compare to string \'abc\'.
