/doc/bugs/protocol_mismatch_after_interrupt/