#!/bin/sh outfile="$1" shift (cat < "$outfile"