; RUN: cat @file foo