/*
This function runs at roughly 386Hz, if interrupts are enabled
The exact rate is 8MHz/(12^4)
*/
timer: