&timer0 { counter0: counter { status = "okay"; }; };