error: a task has already been bound to this interrupt on this core
 --> $DIR/interrupt-double.rs:8:30
  |
8 |     #[task(core = 0, binds = UART0)]
  |                              ^^^^^