Add semicolon after __counter_value_from_server__ decl (surprised that it worked without one).
Add semicolon after __counter_value_from_server__ decl (surprised that it worked without one).

addrummond/ibex,wenru/ibex,wenru/ibex,wenru/ibex,wenru/ibex,addrummond/ibex,addrummond/ibex,addrummond/ibex