#!/bin/sh -e newv="$1" oldv="$2" cat <