ALPHA_IF_CODE_BUGCHK
(a0 != ALPHA_IF_CODE_BPT && a0 != ALPHA_IF_CODE_BUGCHK)) {
case ALPHA_IF_CODE_BUGCHK:
