BenPh[m]: > <@random-task:matrix.org> This example: 
> 
> ```
> [interrupt]
> /// Increments the tick overflow.
> fn TIM3() {
>     with(|cs| {
>         access_global!(TICK_TIMER, timer, cs);
>         timer.clear_interrupt(TimerInterrupt::Update);
>   });
>     TICK_OVERFLOW_COUNT.fetch_add(1, Ordering::Relaxed);
> }
> ``` 
> 
> Being able to include something like this in the interface would be crucial

yes, implementations CAN do tricks to avoid overflow, but the question is does the trait **mandate** implementations do it?