(TranslationUnit
    (SymbolTable
        1
        {
            bits_03:
                (Program
                    (SymbolTable
                        2
                        {
                            from:
                                (Variable
                                    2
                                    from
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            from8:
                                (Variable
                                    2
                                    from8
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            to:
                                (Variable
                                    2
                                    to
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                ),
                            to8:
                                (Variable
                                    2
                                    to8
                                    []
                                    Local
                                    ()
                                    ()
                                    Default
                                    (Integer 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                    .false.
                                    ()
                                    .false.
                                    .false.
                                    NotMethod
                                    ()
                                    []
                                )
                        })
                    bits_03
                    []
                    [(Assignment
                        (Var 2 from)
                        (IntegerConstant 10 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 to)
                        (IntegerConstant 4 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 from8)
                        (IntegerConstant 10 (Integer 8) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 to8)
                        (IntegerConstant 4 (Integer 8) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to)
                        (IntegerConstant 0 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from)
                            NotEq
                            (IntegerConstant 10 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to)
                            NotEq
                            (IntegerConstant 6 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from8)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to8)
                        (IntegerConstant 0 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from8)
                            NotEq
                            (Cast
                                (IntegerConstant 10 (Integer 4) Decimal)
                                IntegerToInteger
                                (Integer 8)
                                (IntegerConstant 10 (Integer 8) Decimal)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to8)
                            NotEq
                            (IntegerConstant 6 (Integer 8) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from)
                        (IntegerConstant 0 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to)
                        (IntegerConstant 2 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from)
                            NotEq
                            (IntegerConstant 10 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to)
                            NotEq
                            (IntegerConstant 10 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from8)
                        (IntegerConstant 0 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to8)
                        (IntegerConstant 2 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from8)
                            NotEq
                            (Cast
                                (IntegerConstant 10 (Integer 4) Decimal)
                                IntegerToInteger
                                (Integer 8)
                                (IntegerConstant 10 (Integer 8) Decimal)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to8)
                            NotEq
                            (IntegerConstant 10 (Integer 8) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (Assignment
                        (Var 2 from)
                        (IntegerUnaryMinus
                            (IntegerConstant 20 (Integer 4) Decimal)
                            (Integer 4)
                            (IntegerConstant -20 (Integer 4) Decimal)
                        )
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 to)
                        (IntegerConstant 4 (Integer 4) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 from8)
                        (IntegerUnaryMinus
                            (IntegerConstant 20 (Integer 8) Decimal)
                            (Integer 8)
                            (IntegerConstant -20 (Integer 8) Decimal)
                        )
                        ()
                        .false.
                        .false.
                    )
                    (Assignment
                        (Var 2 to8)
                        (IntegerConstant 4 (Integer 8) Decimal)
                        ()
                        .false.
                        .false.
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from)
                        (IntegerConstant 29 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to)
                        (IntegerConstant 2 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from)
                            NotEq
                            (IntegerUnaryMinus
                                (IntegerConstant 20 (Integer 4) Decimal)
                                (Integer 4)
                                (IntegerConstant -20 (Integer 4) Decimal)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to)
                            NotEq
                            (IntegerConstant 12 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from8)
                        (IntegerConstant 29 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to8)
                        (IntegerConstant 2 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from8)
                            NotEq
                            (Cast
                                (IntegerUnaryMinus
                                    (IntegerConstant 20 (Integer 4) Decimal)
                                    (Integer 4)
                                    (IntegerConstant -20 (Integer 4) Decimal)
                                )
                                IntegerToInteger
                                (Integer 8)
                                (IntegerConstant -20 (Integer 8) Decimal)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to8)
                            NotEq
                            (IntegerConstant 12 (Integer 8) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to)
                        (IntegerConstant 29 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from)
                            NotEq
                            (IntegerUnaryMinus
                                (IntegerConstant 20 (Integer 4) Decimal)
                                (Integer 4)
                                (IntegerConstant -20 (Integer 4) Decimal)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to)
                            NotEq
                            (IntegerConstant 1610612748 (Integer 4) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (IntrinsicImpureSubroutine
                        Mvbits
                        [(Var 2 from8)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (IntegerConstant 2 (Integer 4) Decimal)
                        (Var 2 to8)
                        (IntegerConstant 29 (Integer 4) Decimal)]
                        0
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 from8)
                            NotEq
                            (Cast
                                (IntegerUnaryMinus
                                    (IntegerConstant 20 (Integer 4) Decimal)
                                    (Integer 4)
                                    (IntegerConstant -20 (Integer 4) Decimal)
                                )
                                IntegerToInteger
                                (Integer 8)
                                (IntegerConstant -20 (Integer 8) Decimal)
                                ()
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        ()
                        (IntegerCompare
                            (Var 2 to8)
                            NotEq
                            (IntegerConstant 1610612748 (Integer 8) Decimal)
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
