2 int foo(uint c) {  in foo()  argument
3   return ((c >= 0x41 && c <= 0x5a)  in foo()
4     || (c >= 0x61 && c <= 0x7a)  in foo()
5     || (c >= 0xc0 && c <= 0xd6)  in foo()
6     || (c >= 0xd8 && c <= 0xf6)  in foo()
7     || (c >= 0xf8 && c <= 0xff)  in foo()
8     || (c >= 0x100 && c <= 0x131)  in foo()
9     || (c >= 0x134 && c <= 0x13e)  in foo()
10     || (c >= 0x141 && c <= 0x148)  in foo()
11     || (c >= 0x14a && c <= 0x17e)  in foo()
12     || (c >= 0x180 && c <= 0x1c3)  in foo()
13     || (c >= 0x1cd && c <= 0x1f0)  in foo()
14     || (c >= 0x1f4 && c <= 0x1f5)  in foo()
15     || (c >= 0x1fa && c <= 0x217)  in foo()
16     || (c >= 0x250 && c <= 0x2a8)  in foo()
17     || (c >= 0x2bb && c <= 0x2c1)  in foo()
18     || c == 0x386 || (c >= 0x388 && c <= 0x38a)  in foo()
19     || c == 0x38c || (c >= 0x38e && c <= 0x3a1)  in foo()
20     || (c >= 0x3a3 && c <= 0x3ce)  in foo()
21     || (c >= 0x3d0 && c <= 0x3d6)  in foo()
22     || c == 0x3da || c == 0x3dc || c == 0x3de ||  in foo()
23     c == 0x3e0 || (c >= 0x3e2 && c <= 0x3f3)  in foo()
24     || (c >= 0x401 && c <= 0x40c)  in foo()
25     || (c >= 0x40e && c <= 0x44f)  in foo()
26     || (c >= 0x451 && c <= 0x45c)  in foo()
27     || (c >= 0x45e && c <= 0x481)  in foo()
28     || (c >= 0x490 && c <= 0x4c4)  in foo()
29     || (c >= 0x4c7 && c <= 0x4c8)  in foo()
30     || (c >= 0x4cb && c <= 0x4cc)  in foo()
31     || (c >= 0x4d0 && c <= 0x4eb)  in foo()
32     || (c >= 0x4ee && c <= 0x4f5)  in foo()
33     || (c >= 0x4f8 && c <= 0x4f9)  in foo()
34     || (c >= 0x531 && c <= 0x556)  in foo()
35     || c == 0x559 || (c >= 0x561 && c <= 0x586)  in foo()
36     || (c >= 0x5d0 && c <= 0x5ea)  in foo()
37     || (c >= 0x5f0 && c <= 0x5f2)  in foo()
38     || (c >= 0x621 && c <= 0x63a)  in foo()
39     || (c >= 0x641 && c <= 0x64a)  in foo()
40     || (c >= 0x671 && c <= 0x6b7)  in foo()
41     || (c >= 0x6ba && c <= 0x6be)  in foo()
42     || (c >= 0x6c0 && c <= 0x6ce)  in foo()
43     || (c >= 0x6d0 && c <= 0x6d3)  in foo()
44     || c == 0x6d5 || (c >= 0x6e5 && c <= 0x6e6)  in foo()
45     || (c >= 0x905 && c <= 0x939)  in foo()
46     || c == 0x93d || (c >= 0x958 && c <= 0x961)  in foo()
47     || (c >= 0x985 && c <= 0x98c)  in foo()
48     || (c >= 0x98f && c <= 0x990)  in foo()
49     || (c >= 0x993 && c <= 0x9a8)  in foo()
50     || (c >= 0x9aa && c <= 0x9b0)  in foo()
51     || c == 0x9b2 || (c >= 0x9b6 && c <= 0x9b9)  in foo()
52     || (c >= 0x9dc && c <= 0x9dd)  in foo()
53     || (c >= 0x9df && c <= 0x9e1)  in foo()
54     || (c >= 0x9f0 && c <= 0x9f1)  in foo()
55     || (c >= 0xa05 && c <= 0xa0a)  in foo()
56     || (c >= 0xa0f && c <= 0xa10)  in foo()
57     || (c >= 0xa13 && c <= 0xa28)  in foo()
58     || (c >= 0xa2a && c <= 0xa30)  in foo()
59     || (c >= 0xa32 && c <= 0xa33)  in foo()
60     || (c >= 0xa35 && c <= 0xa36)  in foo()
61     || (c >= 0xa38 && c <= 0xa39)  in foo()
62     || (c >= 0xa59 && c <= 0xa5c)  in foo()
63     || c == 0xa5e || (c >= 0xa72 && c <= 0xa74)  in foo()
64     || (c >= 0xa85 && c <= 0xa8b)  in foo()
65     || c == 0xa8d || (c >= 0xa8f && c <= 0xa91)  in foo()
66     || (c >= 0xa93 && c <= 0xaa8)  in foo()
67     || (c >= 0xaaa && c <= 0xab0)  in foo()
68     || (c >= 0xab2 && c <= 0xab3)  in foo()
69     || (c >= 0xab5 && c <= 0xab9)  in foo()
70     || c == 0xabd || c == 0xae0 || (c >= 0xb05 && c <= 0xb0c)  in foo()
71     || (c >= 0xb0f && c <= 0xb10)  in foo()
72     || (c >= 0xb13 && c <= 0xb28)  in foo()
73     || (c >= 0xb2a && c <= 0xb30)  in foo()
74     || (c >= 0xb32 && c <= 0xb33)  in foo()
75     || (c >= 0xb36 && c <= 0xb39)  in foo()
76     || c == 0xb3d || (c >= 0xb5c && c <= 0xb5d)  in foo()
77     || (c >= 0xb5f && c <= 0xb61)  in foo()
78     || (c >= 0xb85 && c <= 0xb8a)  in foo()
79     || (c >= 0xb8e && c <= 0xb90)  in foo()
80     || (c >= 0xb92 && c <= 0xb95)  in foo()
81     || (c >= 0xb99 && c <= 0xb9a)  in foo()
82     || c == 0xb9c || (c >= 0xb9e && c <= 0xb9f)  in foo()
83     || (c >= 0xba3 && c <= 0xba4)  in foo()
84     || (c >= 0xba8 && c <= 0xbaa)  in foo()
85     || (c >= 0xbae && c <= 0xbb5)  in foo()
86     || (c >= 0xbb7 && c <= 0xbb9)  in foo()
87     || (c >= 0xc05 && c <= 0xc0c)  in foo()
88     || (c >= 0xc0e && c <= 0xc10)  in foo()
89     || (c >= 0xc12 && c <= 0xc28)  in foo()
90     || (c >= 0xc2a && c <= 0xc33)  in foo()
91     || (c >= 0xc35 && c <= 0xc39)  in foo()
92     || (c >= 0xc60 && c <= 0xc61)  in foo()
93     || (c >= 0xc85 && c <= 0xc8c)  in foo()
94     || (c >= 0xc8e && c <= 0xc90)  in foo()
95     || (c >= 0xc92 && c <= 0xca8)  in foo()
96     || (c >= 0xcaa && c <= 0xcb3)  in foo()
97     || (c >= 0xcb5 && c <= 0xcb9)  in foo()
98     || c == 0xcde || (c >= 0xce0 && c <= 0xce1)  in foo()
99     || (c >= 0xd05 && c <= 0xd0c)  in foo()
100     || (c >= 0xd0e && c <= 0xd10)  in foo()
101     || (c >= 0xd12 && c <= 0xd28)  in foo()
102     || (c >= 0xd2a && c <= 0xd39)  in foo()
103     || (c >= 0xd60 && c <= 0xd61)  in foo()
104     || (c >= 0xe01 && c <= 0xe2e)  in foo()
105     || c == 0xe30 || (c >= 0xe32 && c <= 0xe33)  in foo()
106     || (c >= 0xe40 && c <= 0xe45)  in foo()
107     || (c >= 0xe81 && c <= 0xe82)  in foo()
108     || c == 0xe84 || (c >= 0xe87 && c <= 0xe88)  in foo()
109     || c == 0xe8a || c == 0xe8d || (c >= 0xe94 && c <= 0xe97)  in foo()
110     || (c >= 0xe99 && c <= 0xe9f)  in foo()
111     || (c >= 0xea1 && c <= 0xea3)  in foo()
112     || c == 0xea5 || c == 0xea7 || (c >= 0xeaa && c <= 0xeab)  in foo()
113     || (c >= 0xead && c <= 0xeae)  in foo()
114     || c == 0xeb0 || (c >= 0xeb2 && c <= 0xeb3)  in foo()
115     || c == 0xebd || (c >= 0xec0 && c <= 0xec4)  in foo()
116     || (c >= 0xf40 && c <= 0xf47)  in foo()
117     || (c >= 0xf49 && c <= 0xf69)  in foo()
118     || (c >= 0x10a0 && c <= 0x10c5)  in foo()
119     || (c >= 0x10d0 && c <= 0x10f6)  in foo()
120     || c == 0x1100 || (c >= 0x1102 && c <= 0x1103)  in foo()
121     || (c >= 0x1105 && c <= 0x1107)  in foo()
122     || c == 0x1109 || (c >= 0x110b && c <= 0x110c)  in foo()
123     || (c >= 0x110e && c <= 0x1112)  in foo()
124     || c == 0x113c || c == 0x113e || c == 0x1140 || c == 0x114c ||   in foo()
125     c == 0x114e || c == 0x1150 || (c >= 0x1154 && c <= 0x1155)  in foo()
126     || c == 0x1159 || (c >= 0x115f && c <= 0x1161)  in foo()
127     || c == 0x1163 || c == 0x1165 || c == 0x1167 || c == 0x1169 ||  in foo()
128     (c >= 0x116d && c <= 0x116e)  in foo()
129     || (c >= 0x1172 && c <= 0x1173)  in foo()
130     || c == 0x1175 || c == 0x119e || c == 0x11a8 || c == 0x11ab ||  in foo()
131     (c >= 0x11ae && c <= 0x11af)  in foo()
132     || (c >= 0x11b7 && c <= 0x11b8)  in foo()
133     || c == 0x11ba || (c >= 0x11bc && c <= 0x11c2)  in foo()
134     || c == 0x11eb || c == 0x11f0 || c == 0x11f9 || (c >= 0x1e00 && c <= 0x1e9b)  in foo()
135     || (c >= 0x1ea0 && c <= 0x1ef9)  in foo()
136     || (c >= 0x1f00 && c <= 0x1f15)  in foo()
137     || (c >= 0x1f18 && c <= 0x1f1d)  in foo()
138     || (c >= 0x1f20 && c <= 0x1f45)  in foo()
139     || (c >= 0x1f48 && c <= 0x1f4d)  in foo()
140     || (c >= 0x1f50 && c <= 0x1f57)  in foo()
141     || c == 0x1f59 || c == 0x1f5b || c == 0x1f5d || (c >= 0x1f5f && c <= 0x1f7d)  in foo()
142     || (c >= 0x1f80 && c <= 0x1fb4)  in foo()
143     || (c >= 0x1fb6 && c <= 0x1fbc)  in foo()
144     || c == 0x1fbe || (c >= 0x1fc2 && c <= 0x1fc4)  in foo()
145     || (c >= 0x1fc6 && c <= 0x1fcc)  in foo()
146     || (c >= 0x1fd0 && c <= 0x1fd3)  in foo()
147     || (c >= 0x1fd6 && c <= 0x1fdb)  in foo()
148     || (c >= 0x1fe0 && c <= 0x1fec)  in foo()
149     || (c >= 0x1ff2 && c <= 0x1ff4)  in foo()
150     || (c >= 0x1ff6 && c <= 0x1ffc)  in foo()
151     || c == 0x2126 || (c >= 0x212a && c <= 0x212b)  in foo()
152     || c == 0x212e || (c >= 0x2180 && c <= 0x2182)  in foo()
153     || (c >= 0x3041 && c <= 0x3094)  in foo()
154     || (c >= 0x30a1 && c <= 0x30fa)  in foo()
155     || (c >= 0x3105 && c <= 0x312c)  in foo()
156     || (c >= 0xac00 && c <= 0xd7a3)  in foo()
157     || (c >= 0x4e00 && c <= 0x9fa5)  in foo()
158     || c == 0x3007 || (c >= 0x3021 && c <= 0x3029)  in foo()
159     || (c >= 0x4e00 && c <= 0x9fa5)  in foo()
160     || c == 0x3007 || (c >= 0x3021 && c <= 0x3029));  in foo()