Provide a dead version of if_get_counter.

Submitted by:	glebius
Reported by:	np