def read_counter(path):
    """
    Read the value of a counter
    :param path: filesystem path to the counter
    :return: the current count
    """
    with open(path, "r") as fd:
        return int(fd.read())