counter_get_value — Get the current value of a counter resource.
counter_get_value() returns the current value of a counter resource.
counter_get_value() returns an integer.