#
# No copyright at all
#

echo "file.h"

exit 1