uint32_t get_ticks(void);
void delay_ms(uint32_t count);