(TranslationUnit
    (SymbolTable
        1
        {
            a:
                (Function
                    (SymbolTable
                        2
                        {
                            a:
                                (Variable
                                    2
                                    a
                                    []
                                    ReturnVar
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            m:
                                (Variable
                                    2
                                    m
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            n:
                                (Variable
                                    2
                                    n
                                    []
                                    Unspecified
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            x:
                                (Variable
                                    2
                                    x
                                    [n]
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 2 n))]
                                        PointerArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                ),
                            y:
                                (Variable
                                    2
                                    y
                                    [m]
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Array
                                        (Integer 4)
                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                        (Var 2 m))]
                                        PointerArray
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                )
                        })
                    a
                    (FunctionType
                        [(Integer 4)
                        (Integer 4)]
                        (Integer 4)
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 2 n)
                    (Var 2 m)]
                    [(Assignment
                        (Var 2 n)
                        (IntegerConstant 5 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 m)
                        (IntegerConstant 8 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 x)
                        (ArrayConstant
                            20
                            [1, 2, 3, 4, 5]
                            (Array
                                (Integer 4)
                                [((IntegerConstant 1 (Integer 4) Decimal)
                                (IntegerConstant 5 (Integer 4) Decimal))]
                                FixedSizeArray
                            )
                            ColMajor
                        )
                        ()
                        .false.
                        .false.
                    )]
                    (Var 2 a)
                    Public
                    .true.
                    .true.
                    ()
                )
        })
    []
)
