read_map(FILE *in)
static void read_map(FILE *in)
read_map(FILE *in){	while (!feof(in)) {		if (cnt >= size) {			size += 10000;			table = realloc(table, sizeof(*table) * size);			if (!table) {				fprintf(stderr, "out of memory\n");				exit (1);			}		}		if (read_symbol(in, &table[cnt]) == 0)			cnt++;	}}