----------------------------------------------------------------------
-- node DownCounter
----------------------------------------------------------------------

node DownCounter( Time : int; Restart : bool ) returns ( Ctr : int );
let
  Ctr = Time -> if Restart 
                  then Time
                  else if pre(Ctr) > 0 
                         then pre(Ctr) - 1
                         else pre(Ctr);
tel