<?php

function pre_print_r( $a ) {
	echo '<pre>', print_r($a), '</pre>';
}
function pp( $a ) {
	echo '<pre>', print_r($a), '</pre>';
}

?>