#ifndef system_ticker_h
#define system_ticker_h

void system_ticker_setup(void);
uint16_t time(void);
void delay(uint16_t ticks);

#endif