#!/usr/bin/php5 $name) echo "* $name ($type)\n";