There are no results unique to the case-insensitivity test. Should whatever flags generate this output also return, for example, BOOLTAB? If so, we should probably create a BOOLTAB to make sure it works.