Mechanically convert to if_inc_counter().
Mechanically convert to if_inc_counter().
Mechanically convert to if_inc_counter().
Mechanically convert to if_inc_counter().
Mechanically convert to if_inc_counter().
Mechanically convert to if_inc_counter().