Put back the "real memory =" printf() that vanished when the code to
handle holes in memory was added.