file=${1-date.c}
set -$- `date`
echo "char gen_date[] = \"$2 $3/`expr $6 : '19\(.*\)'`\";" > $file
cc -c $file
