&timer0 { status = "okay"; };