>>18,19
The error branch should also exit the process (or halt the machine in case you're making an OS), since it is obvious that if it's triggered, it must have been caused by a protection fault unless you're writing self-modifying code.
(I sincerely hope you're not writing non-self-modifying code and
not protecting the memory.)