#!/bin/csh -f

# one to prime the pump...
sim < script.mine > /dev/null

time 	test00

