Session Counter Example - PHP Typing CST Test