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