prog: linuxthreads_det
vgopts: --read-var-info=yes