T_DATAFAULT
case T_DATAFAULT:
} else if (type == T_DATAFAULT && (sfsr & SFSR_FAV) == 0) {
if (oldtype == T_DATAFAULT)
oldtype = T_DATAFAULT;
(type == T_DATAFAULT && (sfsr & SFSR_FAV) == 0)) {
case T_DATAFAULT: