1prog: linuxthreads_det
2vgopts: --read-var-info=yes
3