the uVAX unhalt is simply an RFI: on real hardware it knows that this RFI is an unhalt and lights the RUN LED because the SSC chip compares instruction fetch addresses against the halt range and detects the unhalt