mtdec
mtdec(UINT32_MAX >> 1); /* clear DEC exception */
mtdec(cycles);
mtdec(0);
mtdec(UINT32_MAX);
mtdec(UINT32_MAX); /* raise DEC exception */