FileCheckize some of the testcases.