T_DOUBLEFLT
[T_DOUBLEFLT] = "double fault",
case T_DOUBLEFLT: /* double fault */
[T_DOUBLEFLT] = { .ei = false, .msg = "double fault" },
case T_DOUBLEFLT: /* double fault */
case T_DOUBLEFLT: