--TEST--
Bug #71897 (ASCII 0x7F Delete control character permitted in identifiers)
--FILE--
<?php

eval("
    \$a\x7Fb = 3;
    var_dump(\$a\x7Fb);
");

?>
--EXPECTF--
Parse error: syntax error, unexpected character 0x7F in %s on line %d