#!/bin/sh
if [ $# = 0 ]; then
    echo "Usage: $0 outfile"
    exit 1
fi

exec cat > "$1"
