Symbol: obio_decode_interrupt