SAFEXCEL_MAX_ITOKENS
while (instr != start + SAFEXCEL_MAX_ITOKENS)
uint32_t token[SAFEXCEL_MAX_ITOKENS];