1--TEST--
2Bug #71897 (ASCII 0x7F Delete control character permitted in identifiers)
3--FILE--
4<?php
5
6eval("
7 \$a\x7Fb = 3;
8 var_dump(\$a\x7Fb);
9");
10
11?>
12--EXPECTF--
13Parse error: syntax error, unexpected character 0x7F in %s on line %d
14
