Source file conan_glibc.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
let tree = Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 20)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 420545312l))
(`Space "glibc locale file LC_IDENTIFICATION")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 19)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 504431392l))
(`Space "glibc locale file LC_MEASUREMENT")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 18)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 521208608l))
(`Space "glibc locale file LC_TELEPHONE")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 17)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 470876960l))
(`Space "glibc locale file LC_ADDRESS")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 16)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 487654176l))
(`Space "glibc locale file LC_NAME")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 15)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 303104800l))
(`Space "glibc locale file LC_PAPER")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 14)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 319882016l))
(`Space "glibc locale file LC_ALL")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 13)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 269550368l))
(`Space "glibc locale file LC_MESSAGES")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 12)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 286327584l))
(`Space "glibc locale file LC_MONETARY")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 11)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 386925856l))
(`Space "glibc locale file LC_COLLATE")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 10)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 386990880l))
(`Space "glibc locale file LC_TIME")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 9)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 336659232l))
(`Space "glibc locale file LC_NUMERIC")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "glibc") ?line:(Some 8)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Add 0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 537332000l))
(`Space "glibc locale file LC_CTYPE")),
Conan.Tree.Unsafe.leaf)]