#include systick_t systick_ticks(void) { return _systick_ticks; };