#!/bin/sh -
printf "%d args:" "$#"
printf " <%s>" "$@"
echo