JPF-Symbc for the BugwarsREU students to modify.