1DEL after identifier
2-----
3<?php
4"$a@@{ "\x7f" }@@";
5-----
6/* do nothing */
7-----
8<?php
9"$a@@{ "\x7f" }@@";
10