#!/bin/sh

# a null filter, just past stdin to stdout unchanged

cat -