CTranslUnit
    [ CFDefExt
        ( CFunDef
            [ CTypeSpec
                ( CIntType () )
            ]
            ( CDeclr
                ( Just
                    ( Ident "add" 1651297 () )
                )
                [ CFunDeclr
                    ( CFunParamsNew
                        [ CDecl
                            [ CTypeSpec
                                ( CIntType () )
                            ]
                            [ CDeclarationItem
                                ( CDeclr
                                    ( Just
                                        ( Ident "a" 97 () )
                                    ) [] Nothing [] ()
                                ) Nothing Nothing
                            ] ()
                        , CDecl
                            [ CTypeSpec
                                ( CIntType () )
                            ]
                            [ CDeclarationItem
                                ( CDeclr
                                    ( Just
                                        ( Ident "b" 98 () )
                                    ) [] Nothing [] ()
                                ) Nothing Nothing
                            ] ()
                        ] False
                    ) [] ()
                ] Nothing [] ()
            ) []
            ( CCompound []
                [ CBlockStmt
                    ( CReturn
                        ( Just
                            ( CConst
                                ( CIntConst 0 () )
                            )
                        ) ()
                    )
                ] ()
            ) ()
        )
    , CFDefExt
        ( CFunDef
            [ CTypeSpec
                ( CIntType () )
            ]
            ( CDeclr
                ( Just
                    ( Ident "main" 232419565 () )
                )
                [ CFunDeclr
                    ( CFunParamsNew [] False ) [] ()
                ] Nothing [] ()
            ) []
            ( CCompound []
                [ CBlockStmt
                    ( CReturn
                        ( Just
                            ( CCall
                                ( CVar
                                    ( Ident "add" 1651297 () ) ()
                                )
                                [ CConst
                                    ( CIntConst 10 () )
                                , CConst
                                    ( CIntConst 23 () )
                                ] ()
                            )
                        ) ()
                    )
                ] ()
            ) ()
        )
    ] ()