
printf >&2 'err: file %s\n' "$@"
 
