#include "common/types.h"

namespace Timer{
    uint64 get_time();
    void set_next_trigger();
    void init();
}