oldawk=${oldawk-awk}
awk=${awk-../a.out}

echo oldawk=$oldawk, awk=$awk

for i in T.*
do 
	$i
done