FileCheck'ize test