#!hacchpsimguile -b
!#
;; "select-nested-loop-a-02.hacchpsimscm"
;; copy-modified from "select-nested-loop-a-02.hacchpsimscm"
;; vi: ft=scheme
;;	$Id: countdown-loop-a-02.hacchpsimscm,v 1.2 2007/04/20 18:27:13 fang Exp $
;; @haco@ countdown-loop-a.haco-a

; (use-modules (hackt chpsim-primitives))
; (use-modules (hackt chpsim-trace))
; (use-modules (hackt chpsim-primitives))
(use-modules (hackt chpsim))
; (use-modules (hackt algorithm)) ; for find-assoc-ref
; (use-modules (hackt streams))
; (use-modules (ice-9 streams))

"events with multiple entries (branch-joins and loop-heads):"
(force static-events-with-multiple-entries-delayed)
"event 1: initiali assignment in loop."
"event 2: do-while head select."

