SELIDX
SELIDX(state, RDACO_REG);
SELIDX(state, MIOC_REG);
SELIDX(state, MID_REG);
SELIDX(state, (i | IAR_MCE));
SELIDX(state, 0);
SELIDX(state, i);
SELIDX(state, LADCI_REG);
SELIDX(state, RADCI_REG);
SELIDX(state, MIOC_REG);
SELIDX(state, PC_REG);
SELIDX(state, PC_REG);
SELIDX(state, LC_REG);
SELIDX(state, LDACO_REG);
SELIDX(state, RDACO_REG);
SELIDX(state, INTC_REG);
SELIDX(state, reg | IAR_MCE);
SELIDX(state, INTC_REG);
SELIDX(state, ESI_REG);
SELIDX(state, INTC_REG);
SELIDX(state, MID_REG);
SELIDX(state, VID_REG);
SELIDX(state, LDACO_REG);
SELIDX(state, RDACO_REG);
SELIDX(state, LAUX1_REG);
SELIDX(state, RAUX1_REG);
SELIDX(state, LAUX2_REG);
SELIDX(state, RAUX2_REG);
SELIDX(state, LLIC_REG);
SELIDX(state, RLIC_REG);
SELIDX(state, FSDF_REG | IAR_MCE);
SELIDX(state, CDF_REG | IAR_MCE);
SELIDX(state, (INTC_REG | IAR_MCE));
SELIDX(state, AFE1_REG);
SELIDX(state, AFE2_REG);
SELIDX(state, AFS_REG);
SELIDX(state, LDACO_REG);