CE_DISP_BAD
a[i] = CE_DISP_BAD; \
case CE_DISP_BAD:
ASSERT(dispact != CE_DISP_BAD);
if (dispact == CE_DISP_BAD)