Could the static-mut rewriting a separate thing, to make it more explicit? Like
```
#[interrupt]
#[rewrite_static_mut]
fn whatever()
```