FASTTRAP_MAX_INSTR_SIZE
uint8_t scratch[2 * FASTTRAP_MAX_INSTR_SIZE + 22];
ASSERT(tp->ftt_size < FASTTRAP_MAX_INSTR_SIZE);
uint8_t instr[FASTTRAP_MAX_INSTR_SIZE + 10];
size_t len = FASTTRAP_MAX_INSTR_SIZE;
bcopy(instr, tp->ftt_instr, FASTTRAP_MAX_INSTR_SIZE);
uint8_t ftmt_instr[FASTTRAP_MAX_INSTR_SIZE]; /* orig. instr. */