#include "driver/counter.h"

Counter counter;