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
132
133
134
let tree = Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "efi") ?line:(Some 6)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`LE
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 250739385l))
(`Space "")),
Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 15)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute
(Conan.Offset.Value 4L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.greater_than 2l))
(`Space "Universal EFI binary with %d architectures")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 10)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute
(Conan.Offset.Value 4L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 2l))
(`Space "Universal EFI binary with 2 architectures")),
Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 14)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 20L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 16777223l))
(`No_space ", x86_64")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 13)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 20L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 7l))
(`No_space ", i386")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 12)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 16777223l))
(`No_space ", x86_64")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 11)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 7l))
(`No_space ", i386")),
Conan.Tree.Unsafe.leaf)]);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 7)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute
(Conan.Offset.Value 4L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 1l))
(`Space "Universal EFI binary with 1 architecture")),
Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 9)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 16777223l))
(`No_space ", x86_64")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "efi")
?line:(Some 8)
(let ty = Conan.Ty.numeric ~unsigned:false
~endian:`LE
Conan.Integer.int32 (Conan.Arithmetic.Add
0l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Relative
(Conan.Offset.Value 0L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 7l))
(`No_space ", i386")),
Conan.Tree.Unsafe.leaf)])])]