124 static int table_size = 32768;  variable
147   int old_size = table_size;  in table_grow()
149   while (table_size <= desired)  in table_grow()
150     table_size *= 2;  in table_grow()
154 	     old_size, table_size);  in table_grow()
156   table = xnrealloc (table, table_size, sizeof *table);  in table_grow()
157   conflict_table = xnrealloc (conflict_table, table_size,  in table_grow()
159   check = xnrealloc (check, table_size, sizeof *check);  in table_grow()
161   for (/* Nothing. */; old_size < table_size; ++old_size)  in table_grow()
693       aver (j < table_size);  in pack_vector()
698 	  if (table_size <= loc)  in pack_vector()
767   table = xcalloc (table_size, sizeof *table);  in pack_table()
768   conflict_table = xcalloc (table_size, sizeof *conflict_table);  in pack_table()
769   check = xnmalloc (table_size, sizeof *check);  in pack_table()
777   for (i = 0; i < table_size; i++)  in pack_table()