#!/bin/sh input_file="$1" cat <