#include <stdint.h>

void timer_on(uint8_t timer_index,uint32_t waitTicks);
uint8_t timer_status(uint8_t timer_index);