Assertion: interrupt | /r/CapableOf | end with return
Facets:
value: from interrupt instruction
type: OTHER
Source sentences:
text: Each interrupt service routine must end with a return from interrupt instruction.