#!/bin/sh
echo This is the \'trivial\' script, called with arguments \"$@\"
exit 0