// "countdown-loop-a.hac"
// copy-modified from "countdown-successor.hac"
//	$Id: countdown-loop-a.hac,v 1.2 2007/01/21 06:02:52 fang Exp $

int c;

chp {
*[
	c:=3;
	*[ (c > 0) -> c := c-1 ]
]
}
// cound t down to 0, and reset and loop

