(TranslationUnit
    (SymbolTable
        1
        {
            bugsize:
                (Program
                    (SymbolTable
                        2
                        {
                            f:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            e:
                                                (Variable
                                                    3
                                                    e
                                                    [x]
                                                    Local
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Real 4)
                                                        [((IntegerConstant 1 (Integer 4) Decimal)
                                                        (ArraySize
                                                            (Var 3 x)
                                                            ()
                                                            (Integer 4)
                                                            ()
                                                        ))]
                                                        PointerArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                ),
                                            x:
                                                (Variable
                                                    3
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Array
                                                        (Integer 4)
                                                        [(()
                                                        ())]
                                                        DescriptorArray
                                                    )
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    f
                                    (FunctionType
                                        [(Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )]
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 x)]
                                    [(Assignment
                                        (Var 3 e)
                                        (Cast
                                            (Var 3 x)
                                            IntegerToReal
                                            (Array
                                                (Real 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (ArraySize
                                                    (Var 3 x)
                                                    ()
                                                    (Integer 4)
                                                    ()
                                                ))]
                                                PointerArray
                                            )
                                            ()
                                            ()
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Assignment
                                        (Var 3 e)
                                        (ArrayConstant
                                            16
                                            [1.00000000e+00, 2.00000000e+00, 3.00000000e+00, 4.00000000e+00]
                                            (Array
                                                (Real 4)
                                                [((IntegerConstant 1 (Integer 4) Decimal)
                                                (IntegerConstant 4 (Integer 4) Decimal))]
                                                PointerArray
                                            )
                                            ColMajor
                                        )
                                        ()
                                        .false.
                                        .false.
                                    )
                                    (Print
                                        (StringFormat
                                            ()
                                            [(Var 3 e)]
                                            FormatFortran
                                            (Allocatable
                                                (String 1 () DeferredLength DescriptorString)
                                            )
                                            ()
                                        )
                                    )]
                                    ()
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            x:
                                (Variable
                                    2
                                    x
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Pointer
                                        (Array
                                            (Integer 4)
                                            [(()
                                            ())]
                                            DescriptorArray
                                        )
                                    )
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                )
                        })
                    bugsize
                    []
                    [(Allocate
                        [((Var 2 x)
                        [((IntegerConstant 1 (Integer 4) Decimal)
                        (IntegerConstant 4 (Integer 4) Decimal))]
                        ()
                        ()
                        ())]
                        ()
                        ()
                        ()
                    )
                    (SubroutineCall
                        2 f
                        ()
                        [((Var 2 x))]
                        ()
                        .false.
                    )]
                )
        })
    []
)
