STACK_USE_STMDX
DECODE_CUSTOM (0x0edf0000, 0x080d0000, STACK_USE_STMDX),
[STACK_USE_STMDX] = {.decoder = checker_stack_use_stmdx},
DECODE_CUSTOM (0xffdf0000, 0xe90d0000, STACK_USE_STMDX),