Assertion: interrupt | /r/HasProperty | intf==1
Facets:
Source sentences:
text: void interrupt ISR_example() { if (INTF==1) //External