content: [
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "iNCR",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon AddTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (TyConAppTy
                (ATyCon
                  (FamilyTyCon AddResTyCon))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]])}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclApp
              (InfixAppHead MAdd)
              [
                VarDeclVar (Idx 0),
                VarDeclIntegral 1 HsPrimCInt])),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "INCR",
            commentLocation = Just
              "macro_functions.h:1:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "aDD",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon AddTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyVarTy (Idx 1)]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon AddResTyCon))
                  [
                    TyVarTy (Idx 0),
                    TyVarTy (Idx 1)]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MAdd)
                  [
                    VarDeclVar (Idx 1),
                    VarDeclVar (Idx 0)])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "ADD",
            commentLocation = Just
              "macro_functions.h:2:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "iD",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a"],
          forallTy = QuantTy {
            quantTyCts = [],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (TyVarTy (Idx 0))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclVar (Idx 0))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "ID",
            commentLocation = Just
              "macro_functions.h:4:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "cONST",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyVarTy (Idx 0)))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclVar (Idx 1))))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "CONST",
            commentLocation = Just
              "macro_functions.h:5:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "cMP",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon RelOrdTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyVarTy (Idx 1)]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (GenerativeTyCon
                      (DataTyCon IntLikeTyCon)))
                  [
                    TyConAppTy
                      (ATyCon
                        (GenerativeTyCon
                          (DataTyCon
                            (IntLikeTyCon
                              (CIntegralType
                                (IntLike (Int Signed)))))))
                      []]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MRelLT)
                  [
                    VarDeclVar (Idx 1),
                    VarDeclVar (Idx 0)])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "CMP",
            commentLocation = Just
              "macro_functions.h:7:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "fUN1",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon AddTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon MultResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike
                                        (LongLong Unsigned)))))))
                            []],
                      TyVarTy (Idx 1)]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon MultTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike
                                    (LongLong Unsigned)))))))
                        []],
                  TyVarTy (Idx 1)]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon AddResTyCon))
                  [
                    TyVarTy (Idx 0),
                    TyConAppTy
                      (ATyCon
                        (FamilyTyCon MultResTyCon))
                      [
                        TyConAppTy
                          (ATyCon
                            (GenerativeTyCon
                              (DataTyCon IntLikeTyCon)))
                          [
                            TyConAppTy
                              (ATyCon
                                (GenerativeTyCon
                                  (DataTyCon
                                    (IntLikeTyCon
                                      (CIntegralType
                                        (IntLike
                                          (LongLong Unsigned)))))))
                              []],
                        TyVarTy (Idx 1)]]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MAdd)
                  [
                    VarDeclVar (Idx 1),
                    VarDeclApp
                      (InfixAppHead MMult)
                      [
                        VarDeclIntegral
                          12
                          HsPrimCULLong,
                        VarDeclVar (Idx 0)]])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "FUN1",
            commentLocation = Just
              "macro_functions.h:8:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "fUN2",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon MultTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike
                                    (LongLong Unsigned)))))))
                        []],
                  TyVarTy (Idx 1)],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon ShiftTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon MultResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike
                                        (LongLong Unsigned)))))))
                            []],
                      TyVarTy (Idx 1)]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon ShiftResTyCon))
                  [TyVarTy (Idx 0)]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MShiftLeft)
                  [
                    VarDeclVar (Idx 1),
                    VarDeclApp
                      (InfixAppHead MMult)
                      [
                        VarDeclIntegral 3 HsPrimCULLong,
                        VarDeclVar (Idx 0)]])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "FUN2",
            commentLocation = Just
              "macro_functions.h:9:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name "@NsVar" "g",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon AddTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 1))
              (FunTy
                (TyVarTy (Idx 0))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon AddResTyCon))
                  [
                    TyVarTy (Idx 0),
                    TyConAppTy
                      (ATyCon
                        (GenerativeTyCon
                          (DataTyCon IntLikeTyCon)))
                      [
                        TyConAppTy
                          (ATyCon
                            (GenerativeTyCon
                              (DataTyCon
                                (IntLikeTyCon
                                  (CIntegralType
                                    (IntLike (Int Signed)))))))
                          []]]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (VarAppHead
                    (Name "@NsVar" "cONST"))
                  [
                    VarDeclApp
                      (VarAppHead
                        (Name "@NsVar" "iNCR"))
                      [VarDeclVar (Idx 0)],
                    VarDeclApp
                      (VarAppHead
                        (Name "@NsVar" "iD"))
                      [VarDeclVar (Idx 1)]])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "G",
            commentLocation = Just
              "macro_functions.h:11:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "dIV1",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon AddTyCon)))
                [
                  TyVarTy (Idx 1),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Unsigned)))))))
                        []]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon DivTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon AddResTyCon))
                    [
                      TyVarTy (Idx 1),
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike (Int Unsigned)))))))
                            []]]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon DivResTyCon))
                  [
                    TyVarTy (Idx 0),
                    TyConAppTy
                      (ATyCon
                        (FamilyTyCon AddResTyCon))
                      [
                        TyVarTy (Idx 1),
                        TyConAppTy
                          (ATyCon
                            (GenerativeTyCon
                              (DataTyCon IntLikeTyCon)))
                          [
                            TyConAppTy
                              (ATyCon
                                (GenerativeTyCon
                                  (DataTyCon
                                    (IntLikeTyCon
                                      (CIntegralType
                                        (IntLike (Int Unsigned)))))))
                              []]]]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MDiv)
                  [
                    VarDeclVar (Idx 1),
                    VarDeclApp
                      (InfixAppHead MAdd)
                      [
                        VarDeclVar (Idx 0),
                        VarDeclIntegral
                          12
                          HsPrimCUInt]])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "DIV1",
            commentLocation = Just
              "macro_functions.h:13:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "dIV2",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon MultTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon FloatLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (FloatLikeTyCon FloatType))))
                        []],
                  TyVarTy (Idx 0)],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon DivTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon MultResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon FloatLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (FloatLikeTyCon FloatType))))
                            []],
                      TyVarTy (Idx 0)],
                  TyVarTy (Idx 1)]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (TyConAppTy
                  (ATyCon
                    (FamilyTyCon DivResTyCon))
                  [
                    TyConAppTy
                      (ATyCon
                        (FamilyTyCon MultResTyCon))
                      [
                        TyConAppTy
                          (ATyCon
                            (GenerativeTyCon
                              (DataTyCon FloatLikeTyCon)))
                          [
                            TyConAppTy
                              (ATyCon
                                (GenerativeTyCon
                                  (DataTyCon
                                    (FloatLikeTyCon FloatType))))
                              []],
                        TyVarTy (Idx 0)],
                    TyVarTy (Idx 1)]))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "x")
            (VarDeclLambda
              (Lambda
                (NameHint "y")
                (VarDeclApp
                  (InfixAppHead MDiv)
                  [
                    VarDeclApp
                      (InfixAppHead MMult)
                      [
                        VarDeclFloat 10.0,
                        VarDeclVar (Idx 1)],
                    VarDeclVar (Idx 0)])))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "DIV2",
            commentLocation = Just
              "macro_functions.h:14:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "sWAP32",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon BitwiseTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 0)],
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike (Int Signed)))))))
                            []]],
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 0)],
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike (Int Signed)))))))
                            []]]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon BitwiseTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon ShiftResTyCon))
                    [TyVarTy (Idx 0)],
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon ShiftTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (TyConAppTy
                (ATyCon
                  (FamilyTyCon BitsResTyCon))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 0)],
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike (Int Signed)))))))
                            []]],
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 0)],
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon IntLikeTyCon)))
                        [
                          TyConAppTy
                            (ATyCon
                              (GenerativeTyCon
                                (DataTyCon
                                  (IntLikeTyCon
                                    (CIntegralType
                                      (IntLike (Int Signed)))))))
                            []]]])}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "w")
            (VarDeclApp
              (InfixAppHead MBitwiseOr)
              [
                VarDeclApp
                  (InfixAppHead MBitwiseAnd)
                  [
                    VarDeclApp
                      (InfixAppHead MShiftRight)
                      [
                        VarDeclVar (Idx 0),
                        VarDeclIntegral 24 HsPrimCInt],
                    VarDeclIntegral 255 HsPrimCInt],
                VarDeclApp
                  (InfixAppHead MBitwiseAnd)
                  [
                    VarDeclApp
                      (InfixAppHead MShiftLeft)
                      [
                        VarDeclVar (Idx 0),
                        VarDeclIntegral 8 HsPrimCInt],
                    VarDeclIntegral
                      16711680
                      HsPrimCInt]])),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just "SWAP32",
            commentLocation = Just
              "macro_functions.h:18:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}},
    DeclVar
      VarDecl {
        varDeclName = Name
          "@NsVar"
          "aV_VERSION_INT",
        varDeclType = ForallTy {
          forallTyBinders = [
            NameHint "a",
            NameHint "b",
            NameHint "c"],
          forallTy = QuantTy {
            quantTyCts = [
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon BitwiseTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon ShiftResTyCon))
                    [TyVarTy (Idx 0)],
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon ShiftResTyCon))
                    [TyVarTy (Idx 1)]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon BitwiseTyCon)))
                [
                  TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 0)],
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon ShiftResTyCon))
                        [TyVarTy (Idx 1)]],
                  TyVarTy (Idx 2)],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon ShiftTyCon)))
                [
                  TyVarTy (Idx 1),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]],
              ClassTy
                (AClass
                  (GenerativeTyCon
                    (ClassTyCon ShiftTyCon)))
                [
                  TyVarTy (Idx 0),
                  TyConAppTy
                    (ATyCon
                      (GenerativeTyCon
                        (DataTyCon IntLikeTyCon)))
                    [
                      TyConAppTy
                        (ATyCon
                          (GenerativeTyCon
                            (DataTyCon
                              (IntLikeTyCon
                                (CIntegralType
                                  (IntLike (Int Signed)))))))
                        []]]],
            quantTyBody = FunTy
              (TyVarTy (Idx 0))
              (FunTy
                (TyVarTy (Idx 1))
                (FunTy
                  (TyVarTy (Idx 2))
                  (TyConAppTy
                    (ATyCon
                      (FamilyTyCon BitsResTyCon))
                    [
                      TyConAppTy
                        (ATyCon
                          (FamilyTyCon BitsResTyCon))
                        [
                          TyConAppTy
                            (ATyCon
                              (FamilyTyCon ShiftResTyCon))
                            [TyVarTy (Idx 0)],
                          TyConAppTy
                            (ATyCon
                              (FamilyTyCon ShiftResTyCon))
                            [TyVarTy (Idx 1)]],
                      TyVarTy (Idx 2)])))}},
        varDeclBody = VarDeclLambda
          (Lambda
            (NameHint "a")
            (VarDeclLambda
              (Lambda
                (NameHint "b")
                (VarDeclLambda
                  (Lambda
                    (NameHint "c")
                    (VarDeclApp
                      (InfixAppHead MBitwiseOr)
                      [
                        VarDeclApp
                          (InfixAppHead MBitwiseOr)
                          [
                            VarDeclApp
                              (InfixAppHead MShiftLeft)
                              [
                                VarDeclVar (Idx 2),
                                VarDeclIntegral 16 HsPrimCInt],
                            VarDeclApp
                              (InfixAppHead MShiftLeft)
                              [
                                VarDeclVar (Idx 1),
                                VarDeclIntegral 8 HsPrimCInt]],
                        VarDeclVar (Idx 0)])))))),
        varDeclComment = Just
          Comment {
            commentTitle = Nothing,
            commentOrigin = Just
              "AV_VERSION_INT",
            commentLocation = Just
              "macro_functions.h:19:9",
            commentHeaderInfo = Just
              HeaderInfo {
                headerMainHeaders = NE.fromList
                  ["macro_functions.h"],
                headerInclude =
                "macro_functions.h"},
            commentChildren = []}}]
  