Convert a few tests to FileCheck. NFC.