#!/bin/bash function indent { echo ":: $*" }