2666         int local_workspace[1000];  in internal_dfa_exec()  local
2678           local_workspace,                      /* workspace vector */  in internal_dfa_exec()
2679           sizeof(local_workspace)/sizeof(int),  /* size of same */  in internal_dfa_exec()
2693         int local_workspace[1000];  in internal_dfa_exec()  local
2777             local_workspace,                      /* workspace vector */  in internal_dfa_exec()
2778             sizeof(local_workspace)/sizeof(int),  /* size of same */  in internal_dfa_exec()
2796         int local_workspace[1000];  in internal_dfa_exec()  local
2827           local_workspace,                      /* workspace vector */  in internal_dfa_exec()
2828           sizeof(local_workspace)/sizeof(int),  /* size of same */  in internal_dfa_exec()
2895           int local_workspace[1000];  in internal_dfa_exec()  local
2904             local_workspace,                      /* workspace vector */  in internal_dfa_exec()
2905             sizeof(local_workspace)/sizeof(int),  /* size of same */  in internal_dfa_exec()
2967         int local_workspace[1000];  in internal_dfa_exec()  local
2976           local_workspace,                      /* workspace vector */  in internal_dfa_exec()
2977           sizeof(local_workspace)/sizeof(int),  /* size of same */  in internal_dfa_exec()