printf("in toArray, |%s|\n",line);
char **toArray(char *line, int *num) {    /* Converts a long string into an array of lines. */    char **lines;    char *tmpline;        *num = 0;    lines = NULL;        printf("in toArray, |%s|\n",line);        while ((tmpline=getLine(&line))) {	if (!*num)	  lines = (char **) malloc(sizeof(char *));	else	  lines = (char **) realloc(lines, (*num+1)*sizeof(char *));	lines[*num] = tmpline;	(*num)++;    }    return lines;}