DPI_STATE_WHY_BKPT
return (state == DPI_STATE_FAULTED && why == DPI_STATE_WHY_BKPT &&
DPI_STATE_WHY_BKPT);