prog: linuxthreads_det