(TranslationUnit
    (SymbolTable
        1
        {
            redeclare1:
                (Function
                    (SymbolTable
                        2
                        {
                            k:
                                (Variable
                                    2
                                    k
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            piv:
                                (Variable
                                    2
                                    piv
                                    [k]
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 2 k))]
                                        PointerToDataArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    redeclare1
                    (FunctionType
                        [(Array
                            (Integer 4)
                            [((IntegerConstant 1 (Integer 4) Decimal)
                            (FunctionParam
                                1
                                (Integer 4)
                                ()
                            ))]
                            PointerToDataArray
                        )
                        (Integer 4)]
                        ()
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 2 piv)
                    (Var 2 k)]
                    []
                    ()
                    Public
                    .false.
                    .false.
                    ()
                )
        })
    []
)
