increase_max_dfas
increase_max_dfas ();
extern void increase_max_dfas PROTO ((void));
increase_max_dfas();