Mechanically convert to if_inc_counter().