Embedded Systems Lecture Example Code for a Sys Tick Timer in the week of  Finite State Machine lectures