#ifndef TIMER_H		
#define TIMER_H

uint32_t get_timer(uint32_t);

#endif /* TIMER_H */