INTERRUPT_ALIGNMENT
trap == INTERRUPT_ALIGNMENT) {
case INTERRUPT_ALIGNMENT:
trap == INTERRUPT_ALIGNMENT ||
trap == INTERRUPT_ALIGNMENT)