#!/bin/sh
#
# In fact, a csh script.

if ($#argv == 0) then
    echo 'No args'
endif
