#/bin/csh -f
awk -f $1/machine/thread_inline.awk $2
