; RUN: not FileCheck 2>&1 | FileCheck %s

CHECK: <check-file> not specified