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