test/tests2.5/newlint.lcd

   1 ;;; Splint Library  newlint.lcd
   2 ;;Splint 3.0.1 --- 06 Jan 2002
   3 ;;lib:298
   4 ;;ctTable
   5 0 u-2 19 38
   6 0 p1|-2 20 39
   7 0 b-2 21 40
   8 0 p3|-2 22 41
   9 0 p4|-2 23 42
  10 0 p5|-2 24 43
  11 0 p6|-2 25 44
  12 0 p7|-2 26 45
  13 0 p8|-2 27 46
  14 0 p9|-2 28 47
  15 0 p10|-2 29 48
  16 0 p11|-2 30 49
  17 0 p12|-2 31 50
  18 0 p13|-2 32 51
  19 0 p14|-2 33 52
  20 0 p15|-2 34 53
  21 0 p16|-2 35 54
  22 0 p17|-2 36 55
  23 0 p18|-2 37 56
  24 1 t0|0 315 -1
  25 1 t1|1&
  26 1 t2|2&
  27 1 t3|3&
  28 1 t4|4 316 -1
  29 1 t5|5&
  30 1 t6|6&
  31 1 t7|7&
  32 1 t8|8&
  33 1 t9|9&
  34 1 t10|10&
  35 1 t11|11&
  36 1 t12|12&
  37 1 t13|13&
  38 1 t14|14&
  39 1 t15|15&
  40 1 t16|16&
  41 1 t17|17&
  42 1 t18|18&
  43 2 y0|0&
  44 2 y1|1&
  45 2 y2|2&
  46 2 y3|3&
  47 2 y4|4&
  48 2 y5|5&
  49 2 y6|6&
  50 2 y7|7&
  51 2 y8|8&
  52 2 y9|9&
  53 2 y10|10&
  54 2 y11|11&
  55 2 y12|12&
  56 2 y13|13&
  57 2 y14|14&
  58 2 y15|15&
  59 2 y16|16&
  60 2 y17|17&
  61 2 y18|18&
  62 -2 ?!
  63 0 a0|&
  64 0 s10|&
  65 0 s11|&
  66 0 s12|&
  67 0 s24|&
  68 0 s25|&
  69 0 s26|&
  70 0 s27|-1 384 -1
  71 0 s28|&
  72 0 a29|-1 402 -1
  73 3 C0.5/20|!
  74 3 C0.68/2|!
  75 3 C0.2/5|!
  76 3 f0 (70|@7|$#,)!
  77 3 f1 (70|@7|$#,)!
  78 3 C0.4/3|!
  79 3 C0.5/73|!
  80 3 f0 (74|$#,)!
  81 3 f2 (74|$#,)!
  82 3 f70 (74|$#,)!
  83 3 f0 (74|$#,)!
  84 3 f2 (74|$#,)!
  85 3 f70 (74|$#,)!
  86 3 f0 (74|$#,)!
  87 3 f2 (74|$#,)!
  88 3 f70 (74|$#,)!
  89 3 f0 (74|$#,)!
  90 3 f2 (74|$#,)!
  91 3 f70 (74|$#,)!
  92 3 C0.2/5|!
  93 3 f0 (74|$#,)!
  94 3 f2 (74|$#,)!
  95 3 f87 (74|$#,)!
  96 3 C0.5/73|!
  97 3 f0 (91|$#,)!
  98 3 f2 (91|$#,)!
  99 3 f87 (91|$#,)!
 100 3 f0 (91|$#,)!
 101 3 f2 (91|$#,)!
 102 3 f87 (91|$#,)!
 103 3 f0 (91|$#,)!
 104 3 f2 (91|$#,)!
 105 3 f87 (91|$#,)!
 106 3 f0 (91|$#,)!
 107 3 f2 (91|$#,)!
 108 3 f87 (91|$#,)!
 109 3 C0.2/5|!
 110 3 f0 (91|$#,)!
 111 3 f2 (91|$#,)!
 112 3 f104 (91|$#,)!
 113 3 C0.5/73|!
 114 3 f0 (108|$#,)!
 115 3 f2 (108|$#,)!
 116 3 f104 (108|$#,)!
 117 3 C0.4/5|!
 118 3 f0 (108|$#,)!
 119 3 f4 (108|$#,)!
 120 3 f112 (108|$#,)!
 121 3 f0 (108|$#,)!
 122 3 f4 (108|$#,)!
 123 3 f112 (108|$#,)!
 124 3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}!
 125 0 s46|-1 126 -1
 126 3 f0 (5|$#,23|0@5@7&#,)!
 127 3 f19 (5|$#,23|0@5@7&#,)!
 128 3 f23 (5|$#,23|0@5@7&#,)!
 129 3 f0 ()!
 130 3 f19 ()!
 131 1 t120|120&
 132 3 f126 ()!
 133 3 f0 (17|$#,)!
 134 3 f17 (17|$#,)!
 135 3 f0 (17|$#,)!
 136 3 f17 (17|$#,)!
 137 3 f0 (17|$#,)!
 138 3 f17 (17|$#,)!
 139 3 f0 (17|$#,)!
 140 3 f17 (17|$#,)!
 141 3 f0 (17|$#,)!
 142 3 f17 (17|$#,)!
 143 3 f0 (17|$#,)!
 144 3 f17 (17|$#,)!
 145 3 f0 (17|$#,17|$#,)!
 146 3 f17 (17|$#,17|$#,)!
 147 3 f0 (17|$#,)!
 148 3 f17 (17|$#,)!
 149 3 f0 (17|$#,)!
 150 3 f17 (17|$#,)!
 151 3 f0 (17|$#,)!
 152 3 f17 (17|$#,)!
 153 3 f0 (17|$#,)!
 154 3 f17 (17|$#,)!
 155 3 f0 (17|$#,5|$#,)!
 156 3 f17 (17|$#,5|$#,)!
 157 3 f0 (17|$#,24|4@0@7&#,)!
 158 3 f17 (17|$#,24|4@0@7&#,)!
 159 3 f0 (17|$#,)!
 160 3 f17 (17|$#,)!
 161 3 f0 (17|$#,)!
 162 3 f17 (17|$#,)!
 163 3 f0 (17|$#,17|$#,)!
 164 3 f17 (17|$#,17|$#,)!
 165 3 f0 (17|$#,)!
 166 3 f17 (17|$#,)!
 167 3 f0 (17|$#,)!
 168 3 f17 (17|$#,)!
 169 3 f0 (17|$#,)!
 170 3 f17 (17|$#,)!
 171 3 f0 (17|$#,)!
 172 3 f17 (17|$#,)!
 173 3 f0 (17|$#,36|4@0@7&#,)!
 174 3 f17 (17|$#,36|4@0@7&#,)!
 175 3 f0 (17|$#,17|$#,)!
 176 3 f17 (17|$#,17|$#,)!
 177 0 a124|&
 178 3 f0 (172|4@0@7&#,)!
 179 3 f5 (172|4@0@7&#,)!
 180 3 f0 (172|$#,5|$#,)!
 181 3 f1 (172|$#,5|$#,)!
 182 0 s133|&
 183 3 ?!
 184 3 f178 (5|$#,)!
 185 3 f1 (5|$#,)^181
 186 1 t180|180&
 187 3 ?!
 188 3 f182 (5|$#,)!
 189 3 f1 (5|$#,)^185
 190 1 t184|184&
 191 3 ?!
 192 3 f186 (5|$#,)!
 193 3 f1 (5|$#,)^189
 194 1 t188|188&
 195 3 ?!
 196 3 f190 (5|$#,)!
 197 3 f1 (5|$#,)^193
 198 1 t192|192&
 199 3 f0 (5|$#,193|0@5@7&#,)!
 200 3 f19 (5|$#,193|0@5@7&#,)^196
 201 1 t195|195&
 202 3 ?!
 203 3 f197 (5|$#,)!
 204 3 f19 (5|$#,)!
 205 3 f1 (5|$#,193|0@5@7&#,)!
 206 3 f1 (5|$#,)!
 207 3 f201 (5|$#,193|0@5@7&#,)!
 208 3 f0 (5|$#,)!
 209 3 f5 (5|$#,)!
 210 0 a139|&
 211 3 f0 (205|4@0@7&#,!.,)!
 212 3 f1 (205|4@0@7&#,!.,)!
 213 3 f0 (205|$#,)!
 214 3 f1 (205|$#,)!
 215 0 a142|-1 212 -1
 216 0 a143|-1 290 -1
 217 1 t210|210&
 218 3 f0 (23|$#,)!
 219 3 f5 (23|$#,)!
 220 3 f0 (23|$#,23|$#,)!
 221 3 f5 (23|$#,23|$#,)!
 222 3 f0 ()!
 223 3 f19 ()!
 224 3 f212 ()!
 225 3 f0 (23|@5|4@5@7&#,)!
 226 3 f19 (23|@5|4@5@7&#,)!
 227 3 f23 (23|@5|4@5@7&#,)!
 228 3 f0 (212|$#,)!
 229 3 f5 (212|$#,)!
 230 3 f0 (212|0@5@7&#,)!
 231 3 f5 (212|0@5@7&#,)!
 232 3 f0 (23|$#,23|$#,)!
 233 3 f19 (23|$#,23|$#,)!
 234 3 f212 (23|$#,23|$#,)!
 235 3 f0 (23|$#,23|$#,212|$#,)!
 236 3 f19 (23|$#,23|$#,212|$#,)!
 237 3 f212 (23|$#,23|$#,212|$#,)!
 238 3 f0 (212|$#,23|4@5@19@2@0#,)!
 239 3 f1 (212|$#,23|4@5@19@2@0#,)!
 240 3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
 241 3 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
 242 3 C0.5/1|!
 243 3 f0 (212|$#,23|$#,!.,)!
 244 3 f5 (212|$#,23|$#,!.,)!
 245 3 f237 (212|$#,23|$#,!.,)!
 246 3 f0 (212|$#,23|$#,!.,)!
 247 3 f5 (212|$#,23|$#,!.,)!
 248 3 f0 (23|$#,!.,)!
 249 3 f5 (23|$#,!.,)!
 250 3 f237 (23|$#,!.,)!
 251 3 f0 (23|$#,!.,)!
 252 3 f5 (23|$#,!.,)!
 253 3 f0 (23|4@0@7&#,23|$#,!.,)!
 254 3 f5 (23|4@0@7&#,23|$#,!.,)!
 255 3 f237 (23|4@0@7&#,23|$#,!.,)!
 256 3 f0 (23|4@0@7&#,23|$#,!.,)!
 257 3 f5 (23|4@0@7&#,23|$#,!.,)!
 258 3 f0 (23|$#,205|$#,)!
 259 3 f5 (23|$#,205|$#,)!
 260 3 f0 (212|$#,23|$#,205|$#,)!
 261 3 f5 (212|$#,23|$#,205|$#,)!
 262 3 f0 (23|4@0@7&#,23|$#,205|$#,)!
 263 3 f5 (23|4@0@7&#,23|$#,205|$#,)!
 264 3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
 265 3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
 266 3 f0 (212|$#,)!
 267 3 f5 (212|$#,)!
 268 3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
 269 3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
 270 3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
 271 3 C0.5/4|!
 272 3 f0 (266|$#,212|$#,)!
 273 3 f5 (266|$#,212|$#,)!
 274 3 f0 (23|$#,212|$#,)!
 275 3 f5 (23|$#,212|$#,)!
 276 3 f0 (212|@7|$#,)!
 277 3 f5 (212|@7|$#,)!
 278 3 f0 ()!
 279 3 f5 ()!
 280 3 f0 (23|4@0@7&#,)!
 281 3 f19 (23|4@0@7&#,)!
 282 3 f23 (23|4@0@7&#,)!
 283 3 f0 (266|$#,212|@7|$#,)!
 284 3 f5 (266|$#,212|@7|$#,)!
 285 3 f0 (266|$#,)!
 286 3 f5 (266|$#,)!
 287 3 f0 (23|$#,)!
 288 3 f5 (23|$#,)!
 289 3 f0 (266|$#,212|$#,)!
 290 3 f5 (266|$#,212|$#,)!
 291 3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
 292 3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
 293 3 f0 (20|$#,63|$#,63|$#,212|$#,)!
 294 3 f63 (20|$#,63|$#,63|$#,212|$#,)!
 295 1 t211|211&
 296 3 f0 (212|$#,290|4@0@7&#,)!
 297 3 f5 (212|$#,290|4@0@7&#,)!
 298 3 f0 (212|$#,9|$#,5|$#,)!
 299 3 f5 (212|$#,9|$#,5|$#,)!
 300 3 f0 (212|$#,290|$#,)!
 301 3 f5 (212|$#,290|$#,)!
 302 3 f0 (212|$#,)!
 303 3 f9 (212|$#,)!
 304 3 f0 (212|$#,)!
 305 3 f1 (212|$#,)!
 306 3 f0 (212|$#,)!
 307 3 f1 (212|$#,)!
 308 3 f0 (212|$#,)!
 309 3 f5 (212|$#,)!
 310 3 f0 (212|$#,)!
 311 3 f5 (212|$#,)!
 312 3 f0 (23|0@5@7&#,)!
 313 3 f1 (23|0@5@7&#,)!
 314 3 f0 (23|$#,)!
 315 3 f17 (23|$#,)!
 316 3 f0 (23|$#,)!
 317 3 f5 (23|$#,)!
 318 3 f0 (23|$#,)!
 319 3 f9 (23|$#,)!
 320 1 t19|19&
 321 1 t23|23&
 322 3 f0 (23|$#,316|4@5@7&#,)!
 323 3 f17 (23|$#,316|4@5@7&#,)!
 324 3 f0 (23|$#,316|4@5@7&#,5|$#,)!
 325 3 f9 (23|$#,316|4@5@7&#,5|$#,)!
 326 3 f0 (23|$#,316|4@5@7&#,5|$#,)!
 327 3 f10 (23|$#,316|4@5@7&#,5|$#,)!
 328 3 f0 ()!
 329 3 f5 ()!
 330 3 f0 (6|$#,)!
 331 3 f1 (6|$#,)!
 332 3 f0 (63|$#,63|$#,)!
 333 3 f19 (63|$#,63|$#,)!
 334 3 f20 (63|$#,63|$#,)!
 335 3 f0 (63|$#,)!
 336 3 f19 (63|$#,)!
 337 3 f20 (63|$#,)!
 338 3 f0 (20|@5|4@5@2&#,63|$#,)!
 339 3 f19 (20|@5|4@5@2&#,63|$#,)!
 340 3 f20 (20|@5|4@5@2&#,63|$#,)!
 341 3 f0 (20|4@5@2&#,)!
 342 3 f1 (20|4@5@2&#,)!
 343 3 f0 ()!
 344 3 f1 ()!
 345 3 f0 (5|$#,)!
 346 3 f1 (5|$#,)!
 347 3 ?!
 348 3 f342 ()!
 349 3 f1 ()^345
 350 1 t344|344&
 351 3 f0 (345|$#,)!
 352 3 f5 (345|$#,)!
 353 3 f0 (23|$#,)!
 354 3 f19 (23|$#,)!
 355 3 f23 (23|$#,)!
 356 3 f0 (23|0@5@7&#,)!
 357 3 f5 (23|0@5@7&#,)!
 358 3 ?!
 359 3 f353 (20|$#,20|$#,)!
 360 3 f5 (20|$#,20|$#,)^356
 361 1 t355|355&
 362 3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
 363 3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
 364 3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
 365 3 ?!
 366 3 f360 (20|$#,20|$#,)!
 367 3 f5 (20|$#,20|$#,)^363
 368 1 t362|362&
 369 3 f0 (20|$#,63|$#,63|$#,363|$#,)!
 370 3 f1 (20|$#,63|$#,63|$#,363|$#,)!
 371 3 f0 (5|$#,)!
 372 3 f5 (5|$#,)!
 373 3 S!2{5|@1|$#quot,5|@1|$#rem,}!
 374 0 s222|&
 375 0 s223|&
 376 3 f0 (5|$#,5|$#,)!
 377 3 f370 (5|$#,5|$#,)!
 378 3 f0 (9|$#,)!
 379 3 f9 (9|$#,)!
 380 3 S!3{9|@1|$#quot,9|@1|$#rem,}!
 381 0 s226|&
 382 0 s227|&
 383 3 f0 (9|$#,9|$#,)!
 384 3 f377 (9|$#,9|$#,)!
 385 3 f0 (5|$#,)!
 386 3 f66 (5|$#,)!
 387 3 f0 (212|$#,)!
 388 3 f66 (212|$#,)!
 389 1 t65|65 466 -1
 390 3 f0 (384|@5|$#,5|$#,212|$#,)!
 391 3 f19 (384|@5|$#,5|$#,212|$#,)!
 392 3 f384 (384|@5|$#,5|$#,212|$#,)!
 393 3 f0 (65|$#,212|$#,)!
 394 3 f66 (65|$#,212|$#,)!
 395 3 f0 (384|$#,212|$#,)!
 396 3 f5 (384|$#,212|$#,)!
 397 3 f0 (212|$#,5|$#,)!
 398 3 f5 (212|$#,5|$#,)!
 399 3 f0 (212|$#,384|$#,!.,)!
 400 3 f5 (212|$#,384|$#,!.,)!
 401 3 f0 (212|$#,384|$#,!.,)!
 402 3 f5 (212|$#,384|$#,!.,)!
 403 3 f0 (212|@7|$#,)!
 404 3 f66 (212|@7|$#,)!
 405 3 f0 ()!
 406 3 f66 ()!
 407 1 t67|67&
 408 3 f0 (23|$#,63|$#,402|0@5@7&#,)!
 409 3 f63 (23|$#,63|$#,402|0@5@7&#,)!
 410 3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
 411 3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
 412 3 f0 (402|0@5@7&#,)!
 413 3 f5 (402|0@5@7&#,)!
 414 3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
 415 3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
 416 3 f0 (65|$#,212|@7|$#,)!
 417 3 f66 (65|$#,212|@7|$#,)!
 418 3 f0 (65|$#,)!
 419 3 f66 (65|$#,)!
 420 3 f0 (384|$#,63|$#,384|$#,!.,)!
 421 3 f5 (384|$#,63|$#,384|$#,!.,)!
 422 3 f0 (384|$#,384|$#,!.,)!
 423 3 f5 (384|$#,384|$#,!.,)!
 424 3 f0 (66|$#,212|$#,)!
 425 3 f66 (66|$#,212|$#,)!
 426 3 f0 (212|$#,384|$#,205|$#,)!
 427 3 f5 (212|$#,384|$#,205|$#,)!
 428 3 f0 (384|$#,63|$#,384|$#,205|$#,)!
 429 3 f5 (384|$#,63|$#,384|$#,205|$#,)!
 430 3 f0 (384|$#,205|$#,)!
 431 3 f5 (384|$#,205|$#,)!
 432 3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
 433 3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
 434 3 C0.1/384|!
 435 3 f0 (384|@5|4@0@9&#,384|$#,)!
 436 3 f1 (384|@5|4@0@9&#,384|$#,)!
 437 3 f429 (384|@5|4@0@9&#,384|$#,)!
 438 3 f0 (384|@5|$#,65|$#,)!
 439 3 f19 (384|@5|$#,65|$#,)!
 440 3 f384 (384|@5|$#,65|$#,)!
 441 3 f0 (384|$#,384|$#,)!
 442 3 f5 (384|$#,384|$#,)!
 443 3 f0 (384|$#,384|$#,)!
 444 3 f5 (384|$#,384|$#,)!
 445 3 f0 (384|@5|4@0@9&#,384|$#,)!
 446 3 f1 (384|@5|4@0@9&#,384|$#,)!
 447 3 f429 (384|@5|4@0@9&#,384|$#,)!
 448 3 f0 (384|$#,384|$#,)!
 449 3 f63 (384|$#,384|$#,)!
 450 0 s262|-1 446 -1
 451 1 t445|445&
 452 3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
 453 3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
 454 3 f0 (384|$#,)!
 455 3 f63 (384|$#,)!
 456 3 C0.1/384|!
 457 3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
 458 3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
 459 3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
 460 3 f0 (384|$#,384|$#,63|$#,)!
 461 3 f5 (384|$#,384|$#,63|$#,)!
 462 3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
 463 3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
 464 3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
 465 3 f0 (384|@5|$#,384|$#,)!
 466 3 f19 (384|@5|$#,384|$#,)!
 467 3 f384 (384|@5|$#,384|$#,)!
 468 3 f0 (384|@5|$#,65|$#,)!
 469 3 f19 (384|@5|$#,65|$#,)!
 470 3 f384 (384|@5|$#,65|$#,)!
 471 1 t384|384&
 472 3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
 473 3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
 474 3 f0 (384|$#,384|$#,)!
 475 3 f63 (384|$#,384|$#,)!
 476 3 f0 (384|$#,384|$#,)!
 477 3 f19 (384|$#,384|$#,)!
 478 3 f384 (384|$#,384|$#,)!
 479 3 f0 (384|$#,466|0@5@7&#,)!
 480 3 f17 (384|$#,466|0@5@7&#,)!
 481 3 f0 (384|0@5@7&#,384|$#,466|$#,)!
 482 3 f19 (384|0@5@7&#,384|$#,466|$#,)!
 483 3 f384 (384|0@5@7&#,384|$#,466|$#,)!
 484 3 f0 (384|$#,466|0@5@7&#,5|$#,)!
 485 3 f9 (384|$#,466|0@5@7&#,5|$#,)!
 486 3 f0 (384|$#,466|0@5@7&#,5|$#,)!
 487 3 f10 (384|$#,466|0@5@7&#,5|$#,)!
 488 3 f0 (384|0@5@7&#,384|$#,63|$#,)!
 489 3 f63 (384|0@5@7&#,384|$#,63|$#,)!
 490 3 f0 (66|$#,)!
 491 3 f5 (66|$#,)!
 492 3 f0 (384|$#,65|$#,63|$#,)!
 493 3 f19 (384|$#,65|$#,63|$#,)!
 494 3 f384 (384|$#,65|$#,63|$#,)!
 495 3 f0 (384|$#,384|$#,63|$#,)!
 496 3 f5 (384|$#,384|$#,63|$#,)!
 497 3 f0 (384|@5|$#,384|$#,63|$#,)!
 498 3 f19 (384|@5|$#,384|$#,63|$#,)!
 499 3 f384 (384|@5|$#,384|$#,63|$#,)!
 500 3 f0 (384|@5|$#,384|$#,63|$#,)!
 501 3 f19 (384|@5|$#,384|$#,63|$#,)!
 502 3 f384 (384|@5|$#,384|$#,63|$#,)!
 503 3 f0 (384|@5|$#,65|$#,63|$#,)!
 504 3 f19 (384|@5|$#,65|$#,63|$#,)!
 505 3 f384 (384|@5|$#,65|$#,63|$#,)!
 506 3 f0 (384|$#,!.,)!
 507 3 f5 (384|$#,!.,)!
 508 3 f0 (384|$#,!.,)!
 509 3 f5 (384|$#,!.,)!
 510 0 s286|&
 511 0 s287|&
 512 3 C0.2/5|!
 513 3 f0 (66|$#,)!
 514 3 f2 (66|$#,)!
 515 3 f507 (66|$#,)!
 516 3 f0 (66|$#,)!
 517 3 f2 (66|$#,)!
 518 3 f507 (66|$#,)!
 519 3 f0 (66|$#,)!
 520 3 f2 (66|$#,)!
 521 3 f507 (66|$#,)!
 522 3 f0 (66|$#,505|$#,)!
 523 3 f2 (66|$#,505|$#,)!
 524 3 f507 (66|$#,505|$#,)!
 525 3 f0 (66|$#,)!
 526 3 f2 (66|$#,)!
 527 3 f507 (66|$#,)!
 528 3 f0 (66|$#,)!
 529 3 f2 (66|$#,)!
 530 3 C0.2/5|!
 531 3 f525 (66|$#,)!
 532 3 f0 (66|$#,)!
 533 3 f2 (66|$#,)!
 534 3 f525 (66|$#,)!
 535 3 f0 (66|$#,)!
 536 3 f2 (66|$#,)!
 537 3 f525 (66|$#,)!
 538 3 f0 (66|$#,)!
 539 3 f2 (66|$#,)!
 540 3 f525 (66|$#,)!
 541 3 f0 (66|$#,)!
 542 3 f2 (66|$#,)!
 543 3 f525 (66|$#,)!
 544 3 f0 (66|$#,)!
 545 3 f2 (66|$#,)!
 546 3 f525 (66|$#,)!
 547 3 C0.2/5|!
 548 3 f0 (66|$#,)!
 549 3 f2 (66|$#,)!
 550 3 f542 (66|$#,)!
 551 3 C0.66/5|!
 552 3 f0 (66|$#,506|$#,)!
 553 3 f66 (66|$#,506|$#,)!
 554 3 f546 (66|$#,506|$#,)!
 555 3 f0 (66|$#,)!
 556 3 f66 (66|$#,)!
 557 3 f546 (66|$#,)!
 558 3 f0 (66|$#,)!
 559 3 f66 (66|$#,)!
 560 3 f546 (66|$#,)!
 561 3 f0 (23|$#,)!
 562 3 f506 (23|$#,)!
 563 3 f0 (23|$#,)!
 564 3 f505 (23|$#,)!
 565 3 f0 (23|$#,63|$#,)!
 566 3 f5 (23|$#,63|$#,)!
 567 3 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
 568 3 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
 569 3 f0 (23|4@5@7&#,65|$#,)!
 570 3 f5 (23|4@5@7&#,65|$#,)!
 571 3 f0 (384|4@0@7&#,23|$#,63|$#,)!
 572 3 f63 (384|4@0@7&#,23|$#,63|$#,)!
 573 3 f0 (23|4@0@7&#,384|$#,63|$#,)!
 574 3 f63 (23|4@0@7&#,384|$#,63|$#,)!
 575 3 C0.1/20|!
 576 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
 577 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
 578 3 f570 (20|@5|4@0@9&#,20|$#,63|$#,)!
 579 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
 580 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
 581 3 f570 (20|@5|4@0@7&#,20|$#,63|$#,)!
 582 3 C0.1/23|!
 583 3 f0 (23|@5|4@0@9&#,23|$#,)!
 584 3 f1 (23|@5|4@0@9&#,23|$#,)!
 585 3 f577 (23|@5|4@0@9&#,23|$#,)!
 586 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
 587 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
 588 3 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
 589 3 f0 (23|@5|0@0@9&#,23|$#,)!
 590 3 f1 (23|@5|0@0@9&#,23|$#,)!
 591 3 f577 (23|@5|0@0@9&#,23|$#,)!
 592 3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
 593 3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
 594 3 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
 595 3 f0 (20|$#,20|$#,63|$#,)!
 596 3 f5 (20|$#,20|$#,63|$#,)!
 597 3 f0 (23|$#,23|$#,)!
 598 3 f5 (23|$#,23|$#,)!
 599 3 f0 (23|$#,23|$#,)!
 600 3 f5 (23|$#,23|$#,)!
 601 3 f0 (23|$#,23|$#,63|$#,)!
 602 3 f5 (23|$#,23|$#,63|$#,)!
 603 3 f0 (23|4@5@7&#,23|$#,63|$#,)!
 604 3 f63 (23|4@5@7&#,23|$#,63|$#,)!
 605 3 f0 (20|$#,5|$#,63|$#,)!
 606 3 f19 (20|$#,5|$#,63|$#,)!
 607 3 f20 (20|$#,5|$#,63|$#,)!
 608 3 f0 (23|@5|$#,266|$#,)!
 609 3 f19 (23|@5|$#,266|$#,)!
 610 3 f23 (23|@5|$#,266|$#,)!
 611 3 f0 (23|$#,23|$#,)!
 612 3 f63 (23|$#,23|$#,)!
 613 3 f0 (23|@5|$#,23|$#,)!
 614 3 f19 (23|@5|$#,23|$#,)!
 615 3 f23 (23|@5|$#,23|$#,)!
 616 3 f0 (23|@5|$#,266|$#,)!
 617 3 f19 (23|@5|$#,266|$#,)!
 618 3 f23 (23|@5|$#,266|$#,)!
 619 3 f0 (23|$#,23|$#,)!
 620 3 f63 (23|$#,23|$#,)!
 621 3 f0 (23|@5|0@0@9&#,23|$#,)!
 622 3 f19 (23|@5|0@0@9&#,23|$#,)!
 623 3 f23 (23|@5|0@0@9&#,23|$#,)!
 624 3 f0 (23|@5|0@5@7&#,23|$#,)!
 625 3 f19 (23|@5|0@5@7&#,23|$#,)!
 626 3 f23 (23|@5|0@5@7&#,23|$#,)!
 627 3 C0.1/20|!
 628 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
 629 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
 630 3 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
 631 3 f0 (5|$#,)!
 632 3 f19 (5|$#,)!
 633 3 f23 (5|$#,)!
 634 3 f0 (23|$#,)!
 635 3 f63 (23|$#,)!
 636 0 s333|&
 637 0 s334|-1 640 -1
 638 3 Stm{5|@1|$#tm_sec,5|@1|$#tm_min,5|@1|$#tm_hour,5|@1|$#tm_mday,5|@1|$#tm_mon,5|@1|$#tm_year,5|@1|$#tm_wday,5|@1|$#tm_yday,5|@1|$#tm_isdst,}!
 639 3 f0 ()!
 640 3 f631 ()!
 641 3 f0 (632|$#,632|$#,)!
 642 3 f17 (632|$#,632|$#,)!
 643 3 f0 (446|$#,)!
 644 3 f632 (446|$#,)!
 645 1 t632|632&
 646 3 f0 (640|4@5@7&#,)!
 647 3 f632 (640|4@5@7&#,)!
 648 3 f0 (446|$#,)!
 649 3 f19 (446|$#,)!
 650 3 f23 (446|$#,)!
 651 3 f0 (640|$#,)!
 652 3 f19 (640|$#,)!
 653 3 f23 (640|$#,)!
 654 3 f0 (640|$#,)!
 655 3 f19 (640|$#,)!
 656 3 f446 (640|$#,)!
 657 3 f0 (640|$#,)!
 658 3 f19 (640|$#,)!
 659 3 f446 (640|$#,)!
 660 3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
 661 3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
 662 0 s344|&
 663 0 s345|&
 664 0 s346|&
 665 0 s347|&
 666 0 s348|&
 667 0 s349|&
 668 0 s350|&
 669 0 s351|&
 670 0 s352|&
 671 0 s353|&
 672 0 s354|&
 673 0 s355|&
 674 0 s356|&
 675 0 s357|&
 676 0 s358|&
 677 0 s359|&
 678 0 s360|&
 679 0 s361|&
 680 0 s362|&
 681 0 s363|&
 682 0 s364|&
 683 0 s365|&
 684 0 s366|&
 685 0 s367|&
 686 0 s368|&
 687 0 s369|&
 688 0 s370|&
 689 0 s371|&
 690 3 C1.5/1|!
 691 3 f0 (!.,)!
 692 3 f5 (!.,)!
 693 3 f685 (!.,)!
 694 3 f0 (!.,)!
 695 3 f5 (!.,)!
 696 3 f685 (!.,)!
 697 ;;tistable
 698 0
 699 29
 700 29,124
 701 124
 702 29,124,139
 703 139
 704 29,124,139,142
 705 142
 706 29,124,139,142,143
 707 143
 708 ;;symTable
 709 *0 (Datatype)
 710 ^0 2@+@-@0@0@0@0@2#lltX_bool
 711 *1 (Constant)
 712 ^1 2@i0@0@6#FALSE
 713 ^2 2@i1@0@0#TRUE
 714 *11 (GlobalMarker)
 715 *1 (Constant)
 716 ^4 5$#__LINE__
 717 ^5 23$#__DATE__#__FILE__#__BASE_FILE__
 718 ^8 5$#__INCLUDE_LEVEL__
 719 ^9 23$#__VERSION__
 720 *0 (Datatype)
 721 ^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
 722 ^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
 723 ^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
 724 *1 (Constant)
 725 ^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
 726 ^16 5$#S_SPLINT_S#__LCLINT__
 727 *3 (Variable)
 728 ^18 212|@1|6@0@0@0@1#stdin#stdout
 729 *1 (Constant)
 730 ^20 5$#EDOM#ERANGE#EILSEQ
 731 *3 (Variable)
 732 ^23 5|@1|6@0@0@0@1#errno
 733 *0 (Datatype)
 734 ^24 13@-@-@0@0@0@0@62#ptrdiff_t
 735 ^25 14@-@-@0@0@0@0@63#size_t
 736 ^26 15@-@-@0@0@0@0@64#ssize_t
 737 ^27 13@-@-@0@0@0@0@65#wchar_t
 738 ^28 13@-@-@0@0@0@0@66#wint_t
 739 ^29 0@+@=@0@7@0@0@67#mbstate_t
 740 *1 (Constant)
 741 ^30 0@i0@0@6#NULL
 742 ^31 2$#NDEBUG
 743 *4 (Function)
 744 ^32 72@6@0@8@0@0^$@0#assert
 745 ^33 77$^$@0#isalnum
 746 ^34 80$^$@0#isalpha
 747 ^35 83$^$@0#iscntrl
 748 ^36 86$^$@0#isdigit
 749 ^37 90$^$@0#isgraph
 750 ^38 94$^$@0#islower
 751 ^39 97$^$@0#isprint
 752 ^40 100$^$@0#ispunct
 753 ^41 103$^$@0#isspace
 754 ^42 107$^$@0#isupper
 755 ^43 111$^$@0#isxdigit
 756 ^44 115$^$@0#tolower
 757 ^45 118$^$@0#toupper
 758 *7 (Struct tag)
 759 ^46 119@120#@lconv
 760 *1 (Constant)
 761 ^47 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
 762 *4 (Function)
 763 ^53 123@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23@19@3@0#setlocale
 764 ^54 127$^@3@0@0#localeconv
 765 *3 (Variable)
 766 ^55 5|@1|6@0@0@0@1#DBL_DIG
 767 ^56 17|@1|6@0@0@0@1#DBL_EPSILON
 768 ^57 5|@1|6@0@0@0@1#DBL_MANT_DIG
 769 ^58 17|@1|6@0@0@0@1#DBL_MAX
 770 ^59 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
 771 ^61 17|@1|6@0@0@0@1#DBL_MIN
 772 ^62 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
 773 ^65 16|@1|6@0@0@0@1#FLT_EPSILON
 774 ^66 5|@1|6@0@0@0@1#FLT_MANT_DIG
 775 ^67 16|@1|6@0@0@0@1#FLT_MAX
 776 ^68 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
 777 ^70 16|@1|6@0@0@0@1#FLT_MIN
 778 ^71 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
 779 *1 (Constant)
 780 ^73 5$#FLT_RADIX
 781 *3 (Variable)
 782 ^74 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
 783 ^76 18|@1|6@0@0@0@1#LDBL_EPSILON
 784 ^77 5|@1|6@0@0@0@1#LDBL_MANT_DIG
 785 ^78 18|@1|6@0@0@0@1#LDBL_MAX
 786 ^79 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
 787 ^81 18|@1|6@0@0@0@1#LDBL_MIN
 788 ^82 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
 789 *1 (Constant)
 790 ^84 5$#CHAR_BIT
 791 ^85 4$#CHAR_MAX#CHAR_MIN
 792 ^87 5$#INT_MAX#INT_MIN
 793 ^89 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
 794 ^92 4$#SCHAR_MAX#SCHAR_MIN
 795 ^94 7$#SHRT_MAX#SHRT_MIN
 796 ^96 3$#UCHAR_MAX#UCHAR_MIN
 797 ^98 6$#UINT_MAX
 798 ^99 10$#ULONG_MAX
 799 ^100 8$#USHRT_MAX
 800 ^101 17$#HUGE_VAL
 801 *4 (Function)
 802 ^102 129$^$@0#sin
 803 ^103 131$^$@0#cos
 804 ^104 133$^$@0#tan
 805 ^105 135$@0@g23@6@0@1@g23$@0#asin
 806 ^106 137$@0@g23@6@0@1@g23$@0#acos
 807 ^107 139$^$@0#atan
 808 ^108 141$^$@0#atan2
 809 ^109 143$^$@0#sinh
 810 ^110 145$@0@g23@6@0@1@g23$@0#cosh
 811 ^111 147$^$@0#tanh
 812 ^112 149$@0@g23@6@0@1@g23$@0#exp
 813 ^113 151$@0@g23@6@0@1@g23$@0#ldexp
 814 ^114 153$@0@@1@tp1$@0#frexp
 815 ^115 155$@0@g23@6@0@1@g23$@0#log
 816 ^116 157$@0@g23@6@0@1@g23$@0#log10
 817 ^117 159$@0@g23@6@0@1@g23$@0#pow
 818 ^118 161$@0@g23@6@0@1@g23$@0#sqrt
 819 ^119 163$^$@0#ceil
 820 ^120 165$^$@0#floor
 821 ^121 167$^$@0#fabs
 822 ^122 169$@0@@1@tp1$@0#modf
 823 ^123 171$^$@0#fmod
 824 *0 (Datatype)
 825 ^124 20@+@+@0@0@0@0@172#jmp_buf
 826 *4 (Function)
 827 ^125 174$@0@@1@p0$@0#setjmp
 828 ^126 176@6@0@5@0@0^$@0#longjmp
 829 *1 (Constant)
 830 ^127 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
 831 *0 (Datatype)
 832 ^133 13@-@-@0@0@0@0@177#sig_atomic_t
 833 *1 (Constant)
 834 ^134 181$#SIG_DFL
 835 ^135 185$#SIG_ERR
 836 ^136 189$#SIG_IGN
 837 *4 (Function)
 838 ^137 202@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23$@0#signal
 839 ^138 204@6@0@5@0@0$$@0#raise
 840 *0 (Datatype)
 841 ^139 20@+@+@0@0@0@0@205#va_list
 842 *4 (Function)
 843 ^140 207$@0@@1@p0$@0#va_start
 844 ^141 209$@0@@1@p0$@0#va_end
 845 *0 (Datatype)
 846 ^142 20@+@+@0@0@0@0@210#FILE
 847 ^143 20@+@+@0@0@0@0@211#fpos_t
 848 *1 (Constant)
 849 ^144 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
 850 *3 (Variable)
 851 ^156 212|@1|6@0@0@0@1#stderr
 852 *4 (Function)
 853 ^157 214$@0@s3,g23@6@0@1@s3,g23$@0#remove
 854 ^158 216$@0@s3,g23@6@0@1@s3,g23$@0#rename
 855 ^159 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
 856 ^160 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
 857 ^161 224$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fclose
 858 ^162 226$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fflush
 859 ^163 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
 860 ^164 232@6@5@1@0@0@0@s3,g23@6@0@1@tp2,s3,g23@3@0@0#freopen
 861 ^165 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
 862 ^166 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
 863 ^167 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
 864 ^168 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
 865 ^169 245@6@0@1@1@0@1@g19@6@0,s3@1@s3,tg19$@0#printf
 866 ^170 247@6@0@1@2@0@1@g18@6@0,s3@1@s3,tg18$@0#scanf
 867 ^171 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
 868 ^172 252@6@0@1@2@0^$@0#sscanf
 869 ^173 254$@1@g19@6@0,s3@1@s3,tg19$@0#vprintf
 870 ^174 256$@0@s3,g23@6@0@1@s3,tp0,p2,g23$@0#vfprintf
 871 ^175 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
 872 ^176 260$@0@@1@p0$@0#vsnprintf
 873 ^177 262$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fgetc
 874 ^178 265@6@5@1@0@0@0@s3,g23@6@0@1@s3,tp0,tp2,g23$@0#fgets
 875 ^179 268$@0@s3,g23@6@0@1@s3,tp1,g23$@0#fputc
 876 ^180 270$@0@s3@1@s3,tp1$@0#fputs
 877 ^181 272$@0@s3@1@s3,tp0$@0#getc
 878 ^182 274$@1@g18@6@0,s3@1@s3,tg18$@0#getchar
 879 ^183 277@6@5@1@0@0@1@g18@6@0,s3,g23@6@0@1@s3,tp0,tg18,g23@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
 880 ^184 279$@0@s3@1@s3,tp1$@0#putc
 881 ^185 281$@1@g19@6@0,s3@1@s3,tg19$@0#putchar
 882 ^186 283$@1@g19@6@0,s3@1@s3,tg19$@0#puts
 883 ^187 285$@0@s3,g23@6@0@1@s3,tp1,g23$@0#ungetc
 884 ^188 287$@0@s3,g23@6@0@1@s3,tp0,tp3,g23$@0#fread
 885 ^189 289$@0@s3,g23@6@0@1@s3,tp3,g23$@0#fwrite
 886 ^190 292$@0@g23@6@0@1@tp1,g23$@0#fgetpos
 887 ^191 294$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fseek
 888 ^192 296$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fsetpos
 889 ^193 298$@0@g23@6@0@1@g23$@0#ftell
 890 ^194 300$@0@@1@tp0$@0#rewind
 891 ^195 302$@0@@1@tp0$@0#clearerr
 892 ^196 304$@0@g23@6@0@1@g23$@0#feof
 893 ^197 306$@0@g23@6@0@1@g23$@0#ferror
 894 ^198 308$@1@g23@6@0,g156@6@0,s3@1@s3,tg156$@0#perror
 895 ^199 310$^$@0#atof
 896 ^200 312$^$@0#atoi
 897 ^201 314$^$@0#atol
 898 ^202 318$@0@g23@6@0@1@tp1,g23$@0#strtod
 899 ^203 320$@0@g23@6@0@1@tp1,g23$@0#strtol
 900 ^204 322$@0@g23@6@0@1@tp1,g23$@0#strtoul
 901 *1 (Constant)
 902 ^205 5$#RAND_MAX
 903 *4 (Function)
 904 ^206 324$@0@s1@1@s1$@0#rand
 905 ^207 326$@0@s1@1@s1$@0#srand
 906 ^208 329@6@5@1@0@0^@2@0@0#calloc
 907 ^209 332@4@5@1@0@0^@2@0@0#malloc
 908 ^210 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
 909 ^211 337$@0@@1@p0$@0#free
 910 *1 (Constant)
 911 ^212 5$#EXIT_FAILURE#EXIT_SUCCESS
 912 *4 (Function)
 913 ^214 339@6@0@6@0@0^$@0#abort
 914 ^215 341@6@0@6@0@0^$@0#exit
 915 ^216 347$@0@s1@1@s1$@0#atexit
 916 ^217 350@6@5@1@0@0^@19@3@0#getenv
 917 ^218 352$@0@s3@1@s3$@0#system
 918 ^219 359@6@5@1@0@0^@18@0@0#bsearch
 919 ^220 365$@0@g23@6@0@1@tp0,g23$@0#qsort
 920 ^221 367$^$@0#abs
 921 *7 (Struct tag)
 922 ^222 368@369#@!2
 923 *0 (Datatype)
 924 ^223 368@-@-@0@0@0@0@370#div_t
 925 *4 (Function)
 926 ^224 372$^$@0#div
 927 ^225 374$^$@0#labs
 928 *7 (Struct tag)
 929 ^226 375@376#@!3
 930 *0 (Datatype)
 931 ^227 375@-@-@0@0@0@0@377#ldiv_t
 932 *4 (Function)
 933 ^228 379$^$@0#ldiv
 934 *1 (Constant)
 935 ^229 63$#MB_CUR_MAX
 936 ^230 5$#WCHAR_MAX#WCHAR_MIN
 937 ^232 66$#WEOF
 938 *4 (Function)
 939 ^233 381$^$@0#btowc
 940 ^234 383$@0@s3@1@s3,tp0$@0#fgetwc
 941 ^235 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
 942 ^236 389$@0@s3@1@s3,tp1$@0#fputwc
 943 ^237 391$@0@s3@1@s3,tp1$@0#fputws
 944 ^238 393$^$@0#fwide
 945 ^239 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
 946 ^240 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
 947 ^241 399$@0@s3@1@s3,tp0$@0#getwc
 948 ^242 401$@0@s3,g18@6@0@1@s3,tg18$@0#getwchar
 949 ^243 404$^$@0#mbrlen
 950 ^244 406$@0@@1@tp0$@0#mbrtowc
 951 ^245 408$^$@0#mbsinit
 952 ^246 410$@0@@1@tp0$@0#mbsrtowcs
 953 ^247 412$@0@s3@1@s3,tp1$@0#putwc
 954 ^248 414$@0@s3,g19@6@0@1@s3,tg19$@0#putwchar
 955 ^249 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
 956 ^250 418@6@0@1@2@0@0@g18@6@0@1@tg18$@0#swscanf
 957 ^251 420$@0@s3@1@s3,tp1$@0#ungetwc
 958 ^252 422$@0@s3@1@s3,tp0$@0#vfwprintf
 959 ^253 424$@0@@1@tp0$@0#vswprintf
 960 ^254 426$@0@s3,g19@6@0@1@s3,tg19$@0#vwprintf
 961 ^255 428$@0@@1@tp0$@0#wcrtomb
 962 ^256 432$@0@@1@tp0$@0#wcscat
 963 ^257 435@6@5@1@0@0^@19@2@0#wcschr
 964 ^258 437$^$@0#wcscmp
 965 ^259 439$^$@0#wcscoll
 966 ^260 442$@0@@1@tp0$@0#wcscpy
 967 ^261 444$^$@0#wcscspn
 968 *7 (Struct tag)
 969 ^262 633@445#@tm
 970 *4 (Function)
 971 ^263 448$@0@@1@tp0$@0#wcsftime
 972 ^264 450$^$@0#wcslen
 973 ^265 454$@0@@1@tp0$@0#wcsncat
 974 ^266 456$^$@0#wcsncmp
 975 ^267 459$@0@@1@tp0$@0#wcsncpy
 976 ^268 462@6@5@1@0@0^$@0#wcspbrk
 977 ^269 465@6@5@1@0@0^$@0#wcsrchr
 978 ^270 468$@0@@1@tp1$@0#wcsrtombs
 979 ^271 470$^$@0#wcsspn
 980 ^272 473@6@5@1@0@0^@3@0@0#wcsstr
 981 ^273 475$@0@@1@tp1$@0#wcstod
 982 ^274 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
 983 ^275 480$@0@@1@tp1$@0#wcstol
 984 ^276 482$@0@@1@tp1$@0#wcstoul
 985 ^277 484$@0@@1@tp0$@0#wcsxfrm
 986 ^278 486$^$@0#wctob
 987 ^279 489@6@5@1@0@0^@3@0@0#wmemchr
 988 ^280 491$^$@0#wmemcmp
 989 ^281 494$@0@@1@tp0$@0#wmemcpy
 990 ^282 497$@0@@1@tp0$@0#wmemmove
 991 ^283 500$@0@@1@tp0$@0#wmemset
 992 ^284 502@6@0@1@1@0@1@g19@6@0,g23@6@0@1@g23,tg19$@0#wprintf
 993 ^285 504@6@0@1@2@0@1@g18@6@0,g23@6@0@1@g23,tg18$@0#wscanf
 994 *0 (Datatype)
 995 ^286 13@-@-@0@0@0@0@505#wctype_t
 996 ^287 13@-@-@0@0@0@0@506#wctrans_t
 997 *4 (Function)
 998 ^288 510$^$@0#iswalnum
 999 ^289 513$^$@0#iswalpha
1000 ^290 516$^$@0#iswcntrl
1001 ^291 519$^$@0#iswctype
1002 ^292 522$^$@0#iswdigit
1003 ^293 526$^$@0#iswgraph
1004 ^294 529$^$@0#iswlower
1005 ^295 532$^$@0#iswprint
1006 ^296 535$^$@0#iswpunct
1007 ^297 538$^$@0#iswspace
1008 ^298 541$^$@0#iswupper
1009 ^299 545$^$@0#iswxdigit
1010 ^300 549$^$@0#towctrans
1011 ^301 552$^$@0#towlower
1012 ^302 555$^$@0#towupper
1013 ^303 557$^$@0#wctrans
1014 ^304 559$^$@0#wctype
1015 ^305 561$^$@0#mblen
1016 ^306 563$@0@@1@tp0$@0#mbtowc
1017 ^307 565$@0@@1@tp0$@0#wctomb
1018 ^308 567$@0@@1@tp0$@0#mbstowcs
1019 ^309 569$@0@@1@tp0$@0#wcstombs
1020 ^310 573$@0@@1@tp0$@0#memcpy
1021 ^311 576$@0@@1@tp0$@0#memmove
1022 ^312 580$@0@@1@tp0$@0#strcpy
1023 ^313 583$@0@@1@tp0$@0#strncpy
1024 ^314 586$@0@@1@tp0$@0#strcat
1025 ^315 589$@0@@1@tp0$@0#strncat
1026 ^316 591$^$@0#memcmp
1027 ^317 593$^$@0#strcmp
1028 ^318 595$^$@0#strcoll
1029 ^319 597$^$@0#strncmp
1030 ^320 599$@0@@1@tp0$@0#strxfrm
1031 ^321 602@6@5@1@0@0^@3@0@0#memchr
1032 ^322 605@6@5@1@0@0^@19@2@0#strchr
1033 ^323 607$^$@0#strcspn
1034 ^324 610@6@5@1@0@0^@19@2@0#strpbrk
1035 ^325 613@6@5@1@0@0^@19@2@0#strrchr
1036 ^326 615$^$@0#strspn
1037 ^327 618@6@5@1@0@0^@19@2@0#strstr
1038 ^328 621@6@5@1@0@0@0@s1,g23@6@0@1@tp0,s1,g23@19@2@0#strtok
1039 ^329 625$@0@@1@tp0$@0#memset
1040 ^330 628$^@19@3@0#strerror
1041 ^331 630$^$@0#strlen
1042 *1 (Constant)
1043 ^332 5$#CLOCKS_PER_SEC
1044 *0 (Datatype)
1045 ^333 13@-@-@0@0@0@0@631#clock_t
1046 ^334 13@-@-@0@0@0@0@632#time_t
1047 *4 (Function)
1048 ^335 635$@0@s1@1@s1$@0#clock
1049 ^336 637$^$@0#difftime
1050 ^337 639$^$@0#mktime
1051 ^338 642$@0@@1@tp0$@0#time
1052 ^339 645$@0@g23@6@0@1@g23@19@3@0#asctime
1053 ^340 648$^@19@3@0#ctime
1054 ^341 651@6@5@1@0@0^@19@3@0#gmtime
1055 ^342 654@6@5@1@0@0@0@g23@6@0@1@g23@19@3@0#localtime
1056 ^343 656$@0@@1@tp0$@0#strftime
1057 *0 (Datatype)
1058 ^344 13@-@-@0@0@0@0@657#int8_t
1059 ^345 13@-@-@0@0@0@0@658#int16_t
1060 ^346 13@-@-@0@0@0@0@659#int32_t
1061 ^347 13@-@-@0@0@0@0@660#int64_t
1062 ^348 14@-@-@0@0@0@0@661#uint8_t
1063 ^349 14@-@-@0@0@0@0@662#uint16_t
1064 ^350 14@-@-@0@0@0@0@663#uint32_t
1065 ^351 14@-@-@0@0@0@0@664#uint64_t
1066 ^352 13@-@-@0@0@0@0@665#int_least8_t
1067 ^353 13@-@-@0@0@0@0@666#int_least16_t
1068 ^354 13@-@-@0@0@0@0@667#int_least32_t
1069 ^355 13@-@-@0@0@0@0@668#int_least64_t
1070 ^356 14@-@-@0@0@0@0@669#uint_least8_t
1071 ^357 14@-@-@0@0@0@0@670#uint_least16_t
1072 ^358 14@-@-@0@0@0@0@671#uint_least32_t
1073 ^359 14@-@-@0@0@0@0@672#uint_least64_t
1074 ^360 13@-@-@0@0@0@0@673#int_fast8_t
1075 ^361 13@-@-@0@0@0@0@674#int_fast16_t
1076 ^362 13@-@-@0@0@0@0@675#int_fast32_t
1077 ^363 13@-@-@0@0@0@0@676#int_fast64_t
1078 ^364 14@-@-@0@0@0@0@677#uint_fast8_t
1079 ^365 14@-@-@0@0@0@0@678#uint_fast16_t
1080 ^366 14@-@-@0@0@0@0@679#uint_fast32_t
1081 ^367 14@-@-@0@0@0@0@680#uint_fast64_t
1082 ^368 24@-@+@0@0@0@0@681#intptr_t
1083 ^369 25@-@+@0@0@0@0@682#uintptr_t
1084 ^370 15@-@-@0@0@0@0@683#intmax_t
1085 ^371 14@-@-@0@0@0@0@684#uintmax_t
1086 *1 (Constant)
1087 ^372 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
1088 ^408 63$#INTPTR_MIN#INTPTR_MAX
1089 *4 (Function)
1090 ^410 688$$$@0#test1
1091 ^411 691$$$@0#test2
1092 ;; Library constraints
1093 vsnprintf
1094 pre:
1095 C
1096 0@1@3
1097 l
1098 1
1099 1
1100 2
1101 2
1102 Param 23 0
1103 r
1104 2
1105 2
1106 Param 63 1
1107 ;; end precondition constraints
1108 post:
1109 ;; end precondition constraints
1110 fgets
1111 pre:
1112 C
1113 0@1@3
1114 l
1115 1
1116 1
1117 2
1118 2
1119 Param 23 0
1120 r
1121 0
1122 1
1123 e1
1124 2
1125 2
1126 Param 5 1
1127 e2
1128 2
1129 3
1130 -1
1131 ;; end precondition constraints
1132 post:
1133 C
1134 0@1@3
1135 l
1136 1
1137 3
1138 2
1139 2
1140 Param 23 0
1141 r
1142 2
1143 3
1144 0
1145 C
1146 0@1@1
1147 l
1148 1
1149 3
1150 2
1151 2
1152 Param 23 0
1153 r
1154 0
1155 1
1156 e1
1157 2
1158 2
1159 Param 5 1
1160 e2
1161 2
1162 3
1163 -1
1164 ;; end precondition constraints
1165 calloc
1166 pre:
1167 ;; end precondition constraints
1168 post:
1169 C
1170 0@1@4
1171 l
1172 1
1173 1
1174 2
1175 2
1176 Result
1177 r
1178 0
1179 1
1180 e1
1181 2
1182 2
1183 Param 63 0
1184 e2
1185 2
1186 3
1187 -1
1188 ;; end precondition constraints
1189 malloc
1190 pre:
1191 ;; end precondition constraints
1192 post:
1193 C
1194 0@1@4
1195 l
1196 1
1197 1
1198 2
1199 2
1200 Result
1201 r
1202 0
1203 1
1204 e1
1205 2
1206 2
1207 Param 63 0
1208 e2
1209 2
1210 3
1211 -1
1212 ;; end precondition constraints
1213 realloc
1214 pre:
1215 ;; end precondition constraints
1216 post:
1217 C
1218 0@1@3
1219 l
1220 1
1221 1
1222 2
1223 2
1224 Result
1225 r
1226 0
1227 1
1228 e1
1229 2
1230 2
1231 Param 63 1
1232 e2
1233 2
1234 3
1235 -1
1236 ;; end precondition constraints
1237 memcpy
1238 pre:
1239 C
1240 0@1@3
1241 l
1242 1
1243 1
1244 2
1245 2
1246 Param 20 0
1247 r
1248 0
1249 1
1250 e1
1251 2
1252 2
1253 Param 63 2
1254 e2
1255 2
1256 3
1257 -1
1258 C
1259 0@1@3
1260 l
1261 1
1262 3
1263 2
1264 2
1265 Param 20 1
1266 r
1267 0
1268 1
1269 e1
1270 2
1271 2
1272 Param 63 2
1273 e2
1274 2
1275 3
1276 -1
1277 ;; end precondition constraints
1278 post:
1279 ;; end precondition constraints
1280 memmove
1281 pre:
1282 C
1283 0@1@3
1284 l
1285 1
1286 1
1287 2
1288 2
1289 Param 20 0
1290 r
1291 0
1292 1
1293 e1
1294 2
1295 2
1296 Param 63 2
1297 e2
1298 2
1299 3
1300 -1
1301 C
1302 0@1@3
1303 l
1304 1
1305 3
1306 2
1307 2
1308 Param 20 1
1309 r
1310 0
1311 1
1312 e1
1313 2
1314 2
1315 Param 63 2
1316 e2
1317 2
1318 3
1319 -1
1320 ;; end precondition constraints
1321 post:
1322 ;; end precondition constraints
1323 strcpy
1324 pre:
1325 C
1326 0@1@3
1327 l
1328 1
1329 1
1330 2
1331 2
1332 Param 23 0
1333 r
1334 1
1335 3
1336 2
1337 2
1338 Param 23 1
1339 ;; end precondition constraints
1340 post:
1341 C
1342 0@1@4
1343 l
1344 1
1345 1
1346 2
1347 2
1348 Result
1349 r
1350 1
1351 1
1352 2
1353 2
1354 Param 23 0
1355 C
1356 0@1@4
1357 l
1358 1
1359 3
1360 2
1361 2
1362 Result
1363 r
1364 1
1365 3
1366 2
1367 2
1368 Param 23 1
1369 C
1370 0@1@4
1371 l
1372 1
1373 3
1374 2
1375 2
1376 Param 23 0
1377 r
1378 1
1379 3
1380 2
1381 2
1382 Param 23 1
1383 ;; end precondition constraints
1384 strncpy
1385 pre:
1386 C
1387 0@1@3
1388 l
1389 1
1390 1
1391 2
1392 2
1393 Param 23 0
1394 r
1395 0
1396 1
1397 e1
1398 2
1399 2
1400 Param 63 2
1401 e2
1402 2
1403 3
1404 -1
1405 ;; end precondition constraints
1406 post:
1407 C
1408 0@1@1
1409 l
1410 1
1411 3
1412 2
1413 2
1414 Param 23 0
1415 r
1416 2
1417 2
1418 Param 63 2
1419 C
1420 0@1@3
1421 l
1422 1
1423 3
1424 2
1425 2
1426 Param 23 1
1427 r
1428 1
1429 3
1430 2
1431 2
1432 Param 23 0
1433 ;; end precondition constraints
1434 strcat
1435 pre:
1436 C
1437 0@1@3
1438 l
1439 1
1440 1
1441 2
1442 2
1443 Param 23 0
1444 r
1445 0
1446 1
1447 e1
1448 1
1449 3
1450 2
1451 2
1452 Param 23 0
1453 e2
1454 1
1455 3
1456 2
1457 2
1458 Param 23 1
1459 ;; end precondition constraints
1460 post:
1461 C
1462 0@1@4
1463 l
1464 1
1465 3
1466 2
1467 2
1468 Result
1469 r
1470 0
1471 1
1472 e1
1473 1
1474 3
1475 2
1476 2
1477 Param 23 0
1478 e2
1479 1
1480 3
1481 2
1482 2
1483 Param 23 1
1484 ;; end precondition constraints
1485 strncat
1486 pre:
1487 C
1488 0@1@3
1489 l
1490 1
1491 1
1492 2
1493 2
1494 Param 23 0
1495 r
1496 0
1497 1
1498 e1
1499 1
1500 3
1501 2
1502 2
1503 Param 23 0
1504 e2
1505 2
1506 2
1507 Param 63 2
1508 ;; end precondition constraints
1509 post:
1510 C
1511 0@1@3
1512 l
1513 1
1514 3
1515 2
1516 2
1517 Param 23 0
1518 r
1519 0
1520 1
1521 e1
1522 1
1523 3
1524 2
1525 2
1526 Param 23 0
1527 e2
1528 2
1529 2
1530 Param 63 2
1531 ;; end precondition constraints
1532 strchr
1533 pre:
1534 ;; end precondition constraints
1535 post:
1536 C
1537 0@1@3
1538 l
1539 1
1540 3
1541 2
1542 2
1543 Result
1544 r
1545 2
1546 3
1547 0
1548 C
1549 0@1@1
1550 l
1551 1
1552 3
1553 2
1554 2
1555 Result
1556 r
1557 1
1558 3
1559 2
1560 2
1561 Param 23 0
1562 C
1563 0@1@1
1564 l
1565 1
1566 1
1567 2
1568 2
1569 Result
1570 r
1571 1
1572 1
1573 2
1574 2
1575 Param 23 0
1576 C
1577 0@1@3
1578 l
1579 1
1580 1
1581 2
1582 2
1583 Result
1584 r
1585 2
1586 3
1587 0
1588 ;; end precondition constraints
1589 strrchr
1590 pre:
1591 ;; end precondition constraints
1592 post:
1593 C
1594 0@1@3
1595 l
1596 1
1597 3
1598 2
1599 2
1600 Result
1601 r
1602 2
1603 3
1604 0
1605 C
1606 0@1@1
1607 l
1608 1
1609 3
1610 2
1611 2
1612 Result
1613 r
1614 1
1615 3
1616 2
1617 2
1618 Param 23 0
1619 C
1620 0@1@1
1621 l
1622 1
1623 1
1624 2
1625 2
1626 Result
1627 r
1628 1
1629 1
1630 2
1631 2
1632 Param 23 0
1633 C
1634 0@1@3
1635 l
1636 1
1637 1
1638 2
1639 2
1640 Result
1641 r
1642 2
1643 3
1644 0
1645 ;; end precondition constraints
1646 strstr
1647 pre:
1648 ;; end precondition constraints
1649 post:
1650 C
1651 0@1@3
1652 l
1653 1
1654 1
1655 2
1656 2
1657 Result
1658 r
1659 1
1660 3
1661 2
1662 2
1663 Param 23 1
1664 C
1665 0@1@3
1666 l
1667 1
1668 3
1669 2
1670 2
1671 Result
1672 r
1673 1
1674 3
1675 2
1676 2
1677 Param 23 1
1678 C
1679 0@1@3
1680 l
1681 1
1682 3
1683 2
1684 2
1685 Result
1686 r
1687 2
1688 3
1689 0
1690 C
1691 0@1@1
1692 l
1693 1
1694 3
1695 2
1696 2
1697 Result
1698 r
1699 1
1700 3
1701 2
1702 2
1703 Param 23 0
1704 C
1705 0@1@1
1706 l
1707 1
1708 1
1709 2
1710 2
1711 Result
1712 r
1713 1
1714 1
1715 2
1716 2
1717 Param 23 0
1718 C
1719 0@1@3
1720 l
1721 1
1722 1
1723 2
1724 2
1725 Result
1726 r
1727 2
1728 3
1729 0
1730 ;; end precondition constraints
1731 memset
1732 pre:
1733 C
1734 0@1@3
1735 l
1736 1
1737 1
1738 2
1739 2
1740 Param 20 0
1741 r
1742 0
1743 1
1744 e1
1745 2
1746 2
1747 Param 63 2
1748 e2
1749 2
1750 3
1751 -1
1752 ;; end precondition constraints
1753 post:
1754 C
1755 0@1@3
1756 l
1757 1
1758 3
1759 2
1760 2
1761 Param 20 0
1762 r
1763 0
1764 1
1765 e1
1766 2
1767 2
1768 Param 63 2
1769 e2
1770 2
1771 3
1772 -1
1773 ;; end precondition constraints
1774 strlen
1775 pre:
1776 ;; end precondition constraints
1777 post:
1778 C
1779 0@1@4
1780 l
1781 2
1782 2
1783 Result
1784 r
1785 1
1786 3
1787 2
1788 2
1789 Param 23 0
1790 ;; end precondition constraints
1791 asctime
1792 pre:
1793 ;; end precondition constraints
1794 post:
1795 C
1796 0@1@4
1797 l
1798 1
1799 3
1800 2
1801 2
1802 Result
1803 r
1804 2
1805 3
1806 25
1807 C
1808 0@1@4
1809 l
1810 1
1811 1
1812 2
1813 2
1814 Result
1815 r
1816 2
1817 3
1818 25
1819 ;; end precondition constraints
1820 ctime
1821 pre:
1822 ;; end precondition constraints
1823 post:
1824 C
1825 0@1@4
1826 l
1827 1
1828 3
1829 2
1830 2
1831 Result
1832 r
1833 2
1834 3
1835 25
1836 C
1837 0@1@4
1838 l
1839 1
1840 1
1841 2
1842 2
1843 Result
1844 r
1845 2
1846 3
1847 25
1848 ;; end precondition constraints
1849 ;; Modules access
1850 lltX_bool#1@
1851 types#1@
1852 ansi#9@
1853 ;;End