HoR: timers and codestyle