Use FileCheck variables to simplify this test.