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