added annotated_counter integer