PROBES_T16_PUSH
DECODE_CUSTOM (0xfe00, 0xb400, PROBES_T16_PUSH),
[PROBES_T16_PUSH] = {.decoder = t16_decode_push},
[PROBES_T16_PUSH] = {.checker = t16_check_stack},