/dev-php/PHP_TokenStream/