#! /bin/csh -f
set dir=machine
awk -f $dir/cthread_inline.awk $*
