(TranslationUnit
    (SymbolTable
        1
        {
            issue532:
                (Program
                    (SymbolTable
                        5
                        {
                            
                        })
                    issue532
                    []
                    []
                ),
            issue532_mod:
                (Module
                    (SymbolTable
                        2
                        {
                            imodulo:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            r:
                                                (Variable
                                                    4
                                                    r
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    4
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            y:
                                                (Variable
                                                    4
                                                    y
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    imodulo
                                    (FunctionType
                                        [(Integer 4)
                                        (Integer 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [sfloor]
                                    [(Var 4 x)
                                    (Var 4 y)]
                                    [(Assignment
                                        (Var 4 r)
                                        (IntegerBinOp
                                            (FunctionCall
                                                2 sfloor
                                                ()
                                                [((IntrinsicElementalFunction
                                                    Real
                                                    [(Var 4 x)]
                                                    0
                                                    (Real 4)
                                                    ()
                                                ))]
                                                (Integer 4)
                                                ()
                                                ()
                                            )
                                            Mul
                                            (Var 4 y)
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 4 r)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            sfloor:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            r:
                                                (Variable
                                                    3
                                                    r
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Integer 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            x:
                                                (Variable
                                                    3
                                                    x
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Real 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    sfloor
                                    (FunctionType
                                        [(Real 4)]
                                        (Integer 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 x)]
                                    [(Assignment
                                        (Var 3 r)
                                        (Cast
                                            (Var 3 x)
                                            RealToInteger
                                            (Integer 4)
                                            ()
                                        )
                                        ()
                                    )]
                                    (Var 3 r)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                )
                        })
                    issue532_mod
                    [issue532_mod]
                    .false.
                    .false.
                )
        })
    []
)
