<?php
	// { phc-option: --include }

	include $x; // { phc-warning: File with unknown filename could not be included, and will be included at run-time }

?>