michael/wjr merge

[Mark S. Miller <vlad!mark>]

Date: Thu, 19 Jul 90 20:40:16 PDT
   From: xanadu!michael (Michael McClary)

      - Though in a file whose name implies it is a regression test, the
	test is actually a test-prod test, which tests only one aspect of
	the module.  (This is not an entirely unreasonable confusion, since
	we don't yet have a name-extension defined for test-prod tests, which
	I though we wouldn't be using.)

What's a "test-prod test"?