Some tweaks to buffer.c.
Some tweaks to output of do_tests.sh.