error: this interrupt is already bound
 --> $DIR/interrupt-double.rs:8:20
  |
8 |     #[task(binds = UART0)]
  |                    ^^^^^