public final void paraListRest() throws RecognitionException
    {
        
        AST ast1 = null, ast2 = null;
        
        try {
            // CPP.g:280:3: ( ',' para paraListRest | )
            int alt17 = 2;
            int LA17_0 = this.input.LA(1);
            
            if ((LA17_0 == 24)) {
                alt17 = 1;
            }
            else if (((LA17_0 == EOF) || (LA17_0 == 43))) {
                alt17 = 2;
            }
            else {
                if (this.state.backtracking > 0) {
                    this.state.failed = true;
                    return;
                }
                NoViableAltException nvae = new NoViableAltException("", 17, 0, this.input);
                
                throw nvae;
            }
            switch (alt17)
            {
                case 1:
                    // CPP.g:280:5: ',' para paraListRest
                {
                    this.match(this.input, 24, FOLLOW_24_in_paraListRest1070);
                    if (this.state.failed) {
                        return;
                    }
                    this.pushFollow(FOLLOW_para_in_paraListRest1072);
                    this.para();
                    
                    this.state._fsp--;
                    if (this.state.failed) {
                        return;
                    }
                    if (this.state.backtracking == 0) {
                        ast1 = this.out;
                        this.out = null;
                    }
                    this.pushFollow(FOLLOW_paraListRest_in_paraListRest1080);
                    this.paraListRest();
                    
                    this.state._fsp--;
                    if (this.state.failed) {
                        return;
                    }
                    if (this.state.backtracking == 0) {
                        ast2 = this.out;
                        this.out = null;
                    }
                    if (this.state.backtracking == 0) {
                        this.out = new ParaListAST((ParaAST) ast1, (ParaListAST) ast2);
                    }
                    
                }
                    break;
                case 2:
                    // CPP.g:283:5:
                {
                    if (this.state.backtracking == 0) {
                        this.out = new EmptyParaListAST();
                    }
                    
                }
                    break;
                
            }
        }
        catch (RecognitionException re) {
            this.reportError(re);
            this.recover(this.input, re);
        } finally {
        }
        return;
    }