timer_width instead of uintx_t