11.1Srillig> cmd-interrupt-ordinary 21.2Srilligmake: *** cmd-interrupt-ordinary removed 31.2Srilliginterrupt-ordinary: ok 41.1Srillig> cmd-interrupt-phony 51.2Srilliginterrupt-phony: ok 61.2Srillig> cmd-interrupt-precious 71.2Srilliginterrupt-precious: ok 81.4Srilliginterrupt-compat expected-fail 91.1Srilligexit status 0 10