#! /bin/sh . $srcdir/config.sh spicetest diffpair