#ifndef C_COUNTER_H #define C_COUNTER_H #include "dolphin/types.h" #endif /* C_COUNTER_H */