#ifndef CONTROL_TIMER_H
#define CONTROL_TIMER_H

#include <stdint.h>

class Control_timer
{
public:
    void init();

    // Returns true once for every 4 ms control tick.
    bool take_tick();

    uint32_t tick_count() const;
};

#endif