/smt-symex/test_programs/
../
test_memory
test_prog