declare %% From CTM section 4.6.2 fun {NewTicker} fun {Loop N} T={Time.time} in if T>N then {Delay 900} elseif T