DEL after identifier
-----
<?php
"$a@@{ "\x7f" }@@";
-----
/* do nothing */
-----
<?php
"$a@@{ "\x7f" }@@";