; RUN: cat @file

foo

