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