public function yypopstate()
    {
        if ($this->yyTraceFILE) {
            fprintf(
                $this->yyTraceFILE,