#!/bin/sh

printf "%s: %s\n" "$0" "$*"
