private String buildSTR() {
		int k = 0;
		String str = "";
		String err = "";
		do {
			str += (char) c;
			k++;
			c = getchar();
			err += (char) c;
			//System.out.println("Log: buildSTR: read in: " + (char)c);
		} while ((char)c != '"' && c != -1);
		putback = true;
		str += '"';
		//System.out.println("Log: buildSTR: finished building str, ended c: " + (char)c);
		if (c != '"') {
			if (str.length() == 2) System.err.println("scan: string missing closing \"; quitting near "+err.substring(0, err.length()-1));
			else System.err.print("scan: string missing closing \"; quitting near "+err.substring(0, err.length()-1));;
			System.exit(1);
		} 
		
			
			c = getchar();
		//System.out.println("Log: created string: " + str);
		return str;
	}