1prereq: test -e reach_thread_register 2prog: reach_thread_register 3vgopts: -q --leak-check=full --show-leak-kinds=definite 4