<?php

	// check that the debug flag leaves some output in stderr

	// { phc-option: --debug=prc }
	// { phc-debug: is simple assignment }

	function y ($x)
	{
		$y = $x++;
	}

?>