Assertion: interrupt's address | /r/HasProperty | the exception number
Facets:
Source sentences:
text: Since each vector is one word (4 bytes), the address of the exception vector is the exception number times four.