Some Examples Adapted From Slayer

• find_ret-m result for find_ret-m.c
• find_ret-m2 result for find_ret-m2.c
• straightline result for straightline.c
• traverse-m result for traverse-m.c
• traverse3-m result for traverse3-m.c
• traverse5-m result for traverse5-m.c
• traverse_twice-m result for traverse_twice-m.c
  dll.h

• README.txt