Assertion: interrupt | /r/HasProperty | generated incremented
Facets:
Source sentences:
text: If at that point entry (tail−1) is free (cleared), an interrupt will be generated (level interrupt) and the tail pointer will be incremented.