or \n";
	}
	/* dense is good */
	function sort($a,$b) { return $a['real']<$b['real']; /* sort descending by time elapsed */ }
	function tag(&$item,$key) { $item['function']=$key; }
	function format($item,$key) { printf("%3.6f %6d - %s\n",$item['real'],$item['count'], $item['function']); }	
}
?>