Convert test to FileCheck