Add prototype for alloc_counter