synchronized void putLine(String inp) {
		try {
			while (available==size) wait();
		} catch (InterruptedException exc) {
			throw new RTError("Buffer.putLine interrupted: "+exc);
		};
		buffData[nextToPut] = new String(inp);
		if (++nextToPut >= size) nextToPut = 0;
		available++;
		notifyAll(); // Only notify() could wake up another producer.
	}