avoid dubiously clever code in win32_start_timer