(wait_cb1 )
(wait_cb1-condeff0-no-0 )
(wait_cb1-condeff1-yes )
(wait_cb1-endof-condeffs )
(open-sd5 )
(close_cb1 )
(wait_cb1 )
(wait_cb1-condeff0-no-0 )
(wait_cb1-condeff1-no-0 )
(wait_cb1-endof-condeffs )
; cost = 10 (unit cost)
