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