# "bitrouter-test-template.chpsimrc
#	$Id: gcd-dec-test-template.chpsimrc,v 1.1 2008/04/29 05:23:06 fang Exp $

timing per-event
# watch-value C
echo running (traced) ...
step 510000
# due to arbitration, time *may* be different (pseudo-random)
# echo BEGIN-RANDOM
time
# echo END-RANDOM
echo done.
# really, is automatic

