#! /bin/sh
echo "Intercept $0: $@ -- do nothing"