#!/dev/null
# << this script should never be invoked >>