<?php

	// The manual mentions a special case of "\0"

	$x = "\0";
	var_dump (isset ($x));
?>