CTranslUnit
    [ CDeclExt
        ( CDecl
            [ CStorageSpec
                ( CStatic () )
            , CTypeSpec
                ( CIntType () )
            ]
            [ CDeclarationItem
                ( CDeclr
                    ( Just
                        ( Ident "a" 97 () )
                    ) [] Nothing [] ()
                )
                ( Just
                    ( CInitExpr
                        ( CConst
                            ( CIntConst 0 () )
                        ) ()
                    )
                ) Nothing
            ] ()
        )
    , CFDefExt
        ( CFunDef
            [ CTypeSpec
                ( CIntType () )
            ]
            ( CDeclr
                ( Just
                    ( Ident "main" 232419565 () )
                )
                [ CFunDeclr
                    ( CFunParamsNew [] False ) [] ()
                ] Nothing [] ()
            ) []
            ( CCompound []
                [ CBlockStmt
                    ( CFor
                        ( CForInitializing
                            ( Just
                                ( CAssign CAssignOp
                                    ( CVar
                                        ( Ident "a" 97 () ) ()
                                    )
                                    ( CConst
                                        ( CIntConst 0 () )
                                    ) ()
                                )
                            )
                        ) Nothing Nothing
                        ( CCompound [] [] () ) ()
                    )
                ] ()
            ) ()
        )
    ] ()