#!hacchpsimguile -b
!#
;; "channel-sync-desync-a-24.hacchpsimscm"
;;	$Id: channel-sync-desync-a-24.hacchpsimscm,v 1.2 2007/04/20 18:27:03 fang Exp $
;; vi: ft=scheme
;; @haco@ channel-sync-desync-a.haco-a
;; @chpsimtrace@ channel-sync-desync-a-04.chpsimtrace

;; Testing trace entry count

(hac:chpsim-trace-num-entries "channel-sync-desync-a-04.chpsimtrace")

