lib/ansistrict.lcd

   1 ;;LCLint Dump: ansistrict.lcd
   2 ;;LCLint 3.0b-alpha --- 20 June 2001
   3 ;;lib:165
   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 288 -1
  25 1 t1|1&
  26 1 t2|2&
  27 1 t3|3&
  28 1 t4|4 289 -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 a1|&
  64 0 s2|&
  65 0 s3|&
  66 0 s4|&
  67 0 s5|&
  68 0 s13|&
  69 0 s14|&
  70 0 s6|-1 357 -1
  71 0 s7|&
  72 0 a0|-1 375 -1
  73 3 C0.5/20|!
  74 3 C0.68/2|!
  75 3 f0 (2|@7|$#,)!
  76 3 f1 (2|@7|$#,)!
  77 3 f0 (5|$#,)!
  78 3 f2 (5|$#,)!
  79 3 f0 (5|$#,)!
  80 3 f2 (5|$#,)!
  81 3 f0 (5|$#,)!
  82 3 f2 (5|$#,)!
  83 3 f0 (5|$#,)!
  84 3 f2 (5|$#,)!
  85 3 f0 (5|$#,)!
  86 3 f2 (5|$#,)!
  87 3 f0 (5|$#,)!
  88 3 f2 (5|$#,)!
  89 3 f0 (5|$#,)!
  90 3 f2 (5|$#,)!
  91 3 f0 (5|$#,)!
  92 3 f2 (5|$#,)!
  93 3 f0 (5|$#,)!
  94 3 f2 (5|$#,)!
  95 3 f0 (5|$#,)!
  96 3 f2 (5|$#,)!
  97 3 f0 (5|$#,)!
  98 3 f2 (5|$#,)!
  99 3 f0 (5|$#,)!
 100 3 f4 (5|$#,)!
 101 3 f0 (5|$#,)!
 102 3 f4 (5|$#,)!
 103 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,}!
 104 0 s340|-1 105 -1
 105 3 f0 (5|$#,23|0@5@7&#,)!
 106 3 f19 (5|$#,23|0@5@7&#,)!
 107 3 f23 (5|$#,23|0@5@7&#,)!
 108 3 f0 ()!
 109 3 f19 ()!
 110 1 t99|99&
 111 3 f105 ()!
 112 3 f0 (17|$#,)!
 113 3 f17 (17|$#,)!
 114 3 f0 (17|$#,)!
 115 3 f17 (17|$#,)!
 116 3 f0 (17|$#,)!
 117 3 f17 (17|$#,)!
 118 3 f0 (17|$#,)!
 119 3 f17 (17|$#,)!
 120 3 f0 (17|$#,)!
 121 3 f17 (17|$#,)!
 122 3 f0 (17|$#,)!
 123 3 f17 (17|$#,)!
 124 3 f0 (17|$#,17|$#,)!
 125 3 f17 (17|$#,17|$#,)!
 126 3 f0 (17|$#,)!
 127 3 f17 (17|$#,)!
 128 3 f0 (17|$#,)!
 129 3 f17 (17|$#,)!
 130 3 f0 (17|$#,)!
 131 3 f17 (17|$#,)!
 132 3 f0 (17|$#,)!
 133 3 f17 (17|$#,)!
 134 3 f0 (17|$#,5|$#,)!
 135 3 f17 (17|$#,5|$#,)!
 136 3 f0 (17|$#,24|4@0@7&#,)!
 137 3 f17 (17|$#,24|4@0@7&#,)!
 138 3 f0 (17|$#,)!
 139 3 f17 (17|$#,)!
 140 3 f0 (17|$#,)!
 141 3 f17 (17|$#,)!
 142 3 f0 (17|$#,17|$#,)!
 143 3 f17 (17|$#,17|$#,)!
 144 3 f0 (17|$#,)!
 145 3 f17 (17|$#,)!
 146 3 f0 (17|$#,)!
 147 3 f17 (17|$#,)!
 148 3 f0 (17|$#,)!
 149 3 f17 (17|$#,)!
 150 3 f0 (17|$#,)!
 151 3 f17 (17|$#,)!
 152 3 f0 (17|$#,36|4@0@7&#,)!
 153 3 f17 (17|$#,36|4@0@7&#,)!
 154 3 f0 (17|$#,17|$#,)!
 155 3 f17 (17|$#,17|$#,)!
 156 0 a15|&
 157 3 f0 (151|4@0@7&#,)!
 158 3 f5 (151|4@0@7&#,)!
 159 3 f0 (151|$#,5|$#,)!
 160 3 f1 (151|$#,5|$#,)!
 161 0 s8|&
 162 3 ?!
 163 3 f157 (5|$#,)!
 164 3 f1 (5|$#,)^160
 165 1 t159|159&
 166 3 ?!
 167 3 f161 (5|$#,)!
 168 3 f1 (5|$#,)^164
 169 1 t163|163&
 170 3 ?!
 171 3 f165 (5|$#,)!
 172 3 f1 (5|$#,)^168
 173 1 t167|167&
 174 3 ?!
 175 3 f169 (5|$#,)!
 176 3 f1 (5|$#,)^172
 177 1 t171|171&
 178 3 f0 (5|$#,172|0@5@7&#,)!
 179 3 f19 (5|$#,172|0@5@7&#,)^175
 180 1 t174|174&
 181 3 ?!
 182 3 f176 (5|$#,)!
 183 3 f19 (5|$#,)!
 184 3 f1 (5|$#,172|0@5@7&#,)!
 185 3 f1 (5|$#,)!
 186 3 f180 (5|$#,172|0@5@7&#,)!
 187 3 f0 (5|$#,)!
 188 3 f5 (5|$#,)!
 189 0 a16|&
 190 3 f0 (184|4@0@7&#,!.,)!
 191 3 f1 (184|4@0@7&#,!.,)!
 192 3 f0 (184|$#,)!
 193 3 f1 (184|$#,)!
 194 0 a17|-1 191 -1
 195 0 a18|-1 263 -1
 196 1 t189|189&
 197 3 f0 (23|$#,)!
 198 3 f5 (23|$#,)!
 199 3 f0 (23|$#,23|$#,)!
 200 3 f5 (23|$#,23|$#,)!
 201 3 f0 ()!
 202 3 f19 ()!
 203 3 f191 ()!
 204 3 f0 (23|@5|4@5@7&#,)!
 205 3 f19 (23|@5|4@5@7&#,)!
 206 3 f23 (23|@5|4@5@7&#,)!
 207 3 f0 (191|$#,)!
 208 3 f5 (191|$#,)!
 209 3 f0 (191|0@5@7&#,)!
 210 3 f5 (191|0@5@7&#,)!
 211 3 f0 (23|$#,23|$#,)!
 212 3 f19 (23|$#,23|$#,)!
 213 3 f191 (23|$#,23|$#,)!
 214 3 f0 (23|$#,23|$#,191|$#,)!
 215 3 f19 (23|$#,23|$#,191|$#,)!
 216 3 f191 (23|$#,23|$#,191|$#,)!
 217 3 f0 (191|$#,23|0@5@19@2@0#,)!
 218 3 f1 (191|$#,23|0@5@19@2@0#,)!
 219 3 f0 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
 220 3 f5 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
 221 3 f0 (191|$#,23|$#,!.,)!
 222 3 f5 (191|$#,23|$#,!.,)!
 223 3 f0 (191|$#,23|$#,!.,)!
 224 3 f5 (191|$#,23|$#,!.,)!
 225 3 f0 (23|$#,!.,)!
 226 3 f5 (23|$#,!.,)!
 227 3 f0 (23|$#,!.,)!
 228 3 f5 (23|$#,!.,)!
 229 3 f0 (23|4@0@7&#,23|$#,!.,)!
 230 3 f5 (23|4@0@7&#,23|$#,!.,)!
 231 3 f0 (23|4@0@7&#,23|$#,!.,)!
 232 3 f5 (23|4@0@7&#,23|$#,!.,)!
 233 3 f0 (191|$#,23|$#,184|$#,)!
 234 3 f5 (191|$#,23|$#,184|$#,)!
 235 3 f0 (23|$#,184|$#,)!
 236 3 f5 (23|$#,184|$#,)!
 237 3 f0 (23|4@0@7&#,23|$#,184|$#,)!
 238 3 f5 (23|4@0@7&#,23|$#,184|$#,)!
 239 3 f0 (191|$#,)!
 240 3 f5 (191|$#,)!
 241 3 f0 (23|@5|4@0@7&#,5|$#,191|$#,)!
 242 3 f19 (23|@5|4@0@7&#,5|$#,191|$#,)!
 243 3 f23 (23|@5|4@0@7&#,5|$#,191|$#,)!
 244 3 C0.5/4|!
 245 3 f0 (239|$#,191|$#,)!
 246 3 f5 (239|$#,191|$#,)!
 247 3 f0 (23|$#,191|$#,)!
 248 3 f5 (23|$#,191|$#,)!
 249 3 f0 (191|@7|$#,)!
 250 3 f5 (191|@7|$#,)!
 251 3 f0 ()!
 252 3 f5 ()!
 253 3 f0 (23|4@0@7&#,)!
 254 3 f19 (23|4@0@7&#,)!
 255 3 f23 (23|4@0@7&#,)!
 256 3 f0 (239|$#,191|@7|$#,)!
 257 3 f5 (239|$#,191|@7|$#,)!
 258 3 f0 (239|$#,)!
 259 3 f5 (239|$#,)!
 260 3 f0 (23|$#,)!
 261 3 f5 (23|$#,)!
 262 3 f0 (239|$#,191|$#,)!
 263 3 f5 (239|$#,191|$#,)!
 264 3 f0 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
 265 3 f63 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
 266 3 f0 (20|$#,63|$#,63|$#,191|$#,)!
 267 3 f63 (20|$#,63|$#,63|$#,191|$#,)!
 268 1 t190|190&
 269 3 f0 (191|$#,263|4@0@7&#,)!
 270 3 f5 (191|$#,263|4@0@7&#,)!
 271 3 f0 (191|$#,9|$#,5|$#,)!
 272 3 f5 (191|$#,9|$#,5|$#,)!
 273 3 f0 (191|$#,263|$#,)!
 274 3 f5 (191|$#,263|$#,)!
 275 3 f0 (191|$#,)!
 276 3 f9 (191|$#,)!
 277 3 f0 (191|$#,)!
 278 3 f1 (191|$#,)!
 279 3 f0 (191|$#,)!
 280 3 f1 (191|$#,)!
 281 3 f0 (191|$#,)!
 282 3 f5 (191|$#,)!
 283 3 f0 (191|$#,)!
 284 3 f5 (191|$#,)!
 285 3 f0 (23|0@5@7&#,)!
 286 3 f1 (23|0@5@7&#,)!
 287 3 f0 (23|$#,)!
 288 3 f17 (23|$#,)!
 289 3 f0 (23|$#,)!
 290 3 f5 (23|$#,)!
 291 3 f0 (23|$#,)!
 292 3 f9 (23|$#,)!
 293 1 t19|19&
 294 1 t23|23&
 295 3 f0 (23|$#,289|4@5@7&#,)!
 296 3 f17 (23|$#,289|4@5@7&#,)!
 297 3 f0 (23|$#,289|4@5@7&#,5|$#,)!
 298 3 f9 (23|$#,289|4@5@7&#,5|$#,)!
 299 3 f0 (23|$#,289|4@5@7&#,5|$#,)!
 300 3 f10 (23|$#,289|4@5@7&#,5|$#,)!
 301 3 f0 ()!
 302 3 f5 ()!
 303 3 f0 (6|$#,)!
 304 3 f1 (6|$#,)!
 305 3 f0 (63|$#,63|$#,)!
 306 3 f19 (63|$#,63|$#,)!
 307 3 f20 (63|$#,63|$#,)!
 308 3 f0 (63|$#,)!
 309 3 f19 (63|$#,)!
 310 3 f20 (63|$#,)!
 311 3 f0 (20|@5|4@5@2&#,63|$#,)!
 312 3 f19 (20|@5|4@5@2&#,63|$#,)!
 313 3 f20 (20|@5|4@5@2&#,63|$#,)!
 314 3 f0 (20|4@5@2&#,)!
 315 3 f1 (20|4@5@2&#,)!
 316 3 f0 ()!
 317 3 f1 ()!
 318 3 f0 (5|$#,)!
 319 3 f1 (5|$#,)!
 320 3 ?!
 321 3 f315 ()!
 322 3 f1 ()^318
 323 1 t317|317&
 324 3 f0 (318|$#,)!
 325 3 f5 (318|$#,)!
 326 3 f0 (23|$#,)!
 327 3 f19 (23|$#,)!
 328 3 f23 (23|$#,)!
 329 3 f0 (23|0@5@7&#,)!
 330 3 f5 (23|0@5@7&#,)!
 331 3 ?!
 332 3 f326 (20|$#,20|$#,)!
 333 3 f5 (20|$#,20|$#,)^329
 334 1 t328|328&
 335 3 f0 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
 336 3 f19 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
 337 3 f20 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
 338 3 ?!
 339 3 f333 (20|$#,20|$#,)!
 340 3 f5 (20|$#,20|$#,)^336
 341 1 t335|335&
 342 3 f0 (20|$#,63|$#,63|$#,336|$#,)!
 343 3 f1 (20|$#,63|$#,63|$#,336|$#,)!
 344 3 f0 (5|$#,)!
 345 3 f5 (5|$#,)!
 346 3 S!2{5|@1|^#quot,5|@1|^#rem,}!
 347 0 s337|&
 348 0 s19|&
 349 3 f0 (5|$#,5|$#,)!
 350 3 f343 (5|$#,5|$#,)!
 351 3 f0 (9|$#,)!
 352 3 f9 (9|$#,)!
 353 3 S!3{9|@1|^#quot,9|@1|^#rem,}!
 354 0 s338|&
 355 0 s20|&
 356 3 f0 (9|$#,9|$#,)!
 357 3 f350 (9|$#,9|$#,)!
 358 3 f0 (5|$#,)!
 359 3 f66 (5|$#,)!
 360 3 f0 (191|$#,)!
 361 3 f66 (191|$#,)!
 362 1 t65|65 439 -1
 363 3 f0 (357|@5|$#,5|$#,191|$#,)!
 364 3 f19 (357|@5|$#,5|$#,191|$#,)!
 365 3 f357 (357|@5|$#,5|$#,191|$#,)!
 366 3 f0 (65|$#,191|$#,)!
 367 3 f66 (65|$#,191|$#,)!
 368 3 f0 (357|$#,191|$#,)!
 369 3 f5 (357|$#,191|$#,)!
 370 3 f0 (191|$#,5|$#,)!
 371 3 f5 (191|$#,5|$#,)!
 372 3 f0 (191|$#,357|$#,!.,)!
 373 3 f5 (191|$#,357|$#,!.,)!
 374 3 f0 (191|$#,357|$#,!.,)!
 375 3 f5 (191|$#,357|$#,!.,)!
 376 3 f0 (191|@7|$#,)!
 377 3 f66 (191|@7|$#,)!
 378 3 f0 ()!
 379 3 f66 ()!
 380 1 t67|67&
 381 3 f0 (23|$#,63|$#,375|0@5@7&#,)!
 382 3 f63 (23|$#,63|$#,375|0@5@7&#,)!
 383 3 f0 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
 384 3 f63 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
 385 3 f0 (375|0@5@7&#,)!
 386 3 f5 (375|0@5@7&#,)!
 387 3 f0 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
 388 3 f63 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
 389 3 f0 (65|$#,191|@7|$#,)!
 390 3 f66 (65|$#,191|@7|$#,)!
 391 3 f0 (65|$#,)!
 392 3 f66 (65|$#,)!
 393 3 f0 (357|$#,63|$#,357|$#,!.,)!
 394 3 f5 (357|$#,63|$#,357|$#,!.,)!
 395 3 f0 (357|$#,357|$#,!.,)!
 396 3 f5 (357|$#,357|$#,!.,)!
 397 3 f0 (66|$#,191|$#,)!
 398 3 f66 (66|$#,191|$#,)!
 399 3 f0 (191|$#,357|$#,184|$#,)!
 400 3 f5 (191|$#,357|$#,184|$#,)!
 401 3 f0 (357|$#,63|$#,357|$#,184|$#,)!
 402 3 f5 (357|$#,63|$#,357|$#,184|$#,)!
 403 3 f0 (357|$#,184|$#,)!
 404 3 f5 (357|$#,184|$#,)!
 405 3 f0 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
 406 3 f63 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
 407 3 C0.1/357|!
 408 3 f0 (357|@5|4@0@9&#,357|$#,)!
 409 3 f1 (357|@5|4@0@9&#,357|$#,)!
 410 3 f402 (357|@5|4@0@9&#,357|$#,)!
 411 3 f0 (357|@5|$#,65|$#,)!
 412 3 f19 (357|@5|$#,65|$#,)!
 413 3 f357 (357|@5|$#,65|$#,)!
 414 3 f0 (357|$#,357|$#,)!
 415 3 f5 (357|$#,357|$#,)!
 416 3 f0 (357|$#,357|$#,)!
 417 3 f5 (357|$#,357|$#,)!
 418 3 f0 (357|@5|4@0@9&#,357|$#,)!
 419 3 f1 (357|@5|4@0@9&#,357|$#,)!
 420 3 f402 (357|@5|4@0@9&#,357|$#,)!
 421 3 f0 (357|$#,357|$#,)!
 422 3 f63 (357|$#,357|$#,)!
 423 0 s339|-1 419 -1
 424 1 t418|418&
 425 3 f0 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
 426 3 f63 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
 427 3 f0 (357|$#,)!
 428 3 f63 (357|$#,)!
 429 3 C0.1/357|!
 430 3 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
 431 3 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
 432 3 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
 433 3 f0 (357|$#,357|$#,63|$#,)!
 434 3 f5 (357|$#,357|$#,63|$#,)!
 435 3 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
 436 3 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
 437 3 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
 438 3 f0 (357|@5|$#,357|$#,)!
 439 3 f19 (357|@5|$#,357|$#,)!
 440 3 f357 (357|@5|$#,357|$#,)!
 441 3 f0 (357|@5|$#,65|$#,)!
 442 3 f19 (357|@5|$#,65|$#,)!
 443 3 f357 (357|@5|$#,65|$#,)!
 444 1 t357|357&
 445 3 f0 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
 446 3 f63 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
 447 3 f0 (357|$#,357|$#,)!
 448 3 f63 (357|$#,357|$#,)!
 449 3 f0 (357|$#,357|$#,)!
 450 3 f19 (357|$#,357|$#,)!
 451 3 f357 (357|$#,357|$#,)!
 452 3 f0 (357|$#,439|0@5@7&#,)!
 453 3 f17 (357|$#,439|0@5@7&#,)!
 454 3 f0 (357|0@5@7&#,357|$#,439|$#,)!
 455 3 f19 (357|0@5@7&#,357|$#,439|$#,)!
 456 3 f357 (357|0@5@7&#,357|$#,439|$#,)!
 457 3 f0 (357|$#,439|0@5@7&#,5|$#,)!
 458 3 f9 (357|$#,439|0@5@7&#,5|$#,)!
 459 3 f0 (357|$#,439|0@5@7&#,5|$#,)!
 460 3 f10 (357|$#,439|0@5@7&#,5|$#,)!
 461 3 f0 (357|0@5@7&#,357|$#,63|$#,)!
 462 3 f63 (357|0@5@7&#,357|$#,63|$#,)!
 463 3 f0 (66|$#,)!
 464 3 f5 (66|$#,)!
 465 3 f0 (357|$#,65|$#,63|$#,)!
 466 3 f19 (357|$#,65|$#,63|$#,)!
 467 3 f357 (357|$#,65|$#,63|$#,)!
 468 3 f0 (357|$#,357|$#,63|$#,)!
 469 3 f5 (357|$#,357|$#,63|$#,)!
 470 3 f0 (357|@5|$#,357|$#,63|$#,)!
 471 3 f19 (357|@5|$#,357|$#,63|$#,)!
 472 3 f357 (357|@5|$#,357|$#,63|$#,)!
 473 3 f0 (357|@5|$#,357|$#,63|$#,)!
 474 3 f19 (357|@5|$#,357|$#,63|$#,)!
 475 3 f357 (357|@5|$#,357|$#,63|$#,)!
 476 3 f0 (357|@5|$#,65|$#,63|$#,)!
 477 3 f19 (357|@5|$#,65|$#,63|$#,)!
 478 3 f357 (357|@5|$#,65|$#,63|$#,)!
 479 3 f0 (357|$#,!.,)!
 480 3 f5 (357|$#,!.,)!
 481 3 f0 (357|$#,!.,)!
 482 3 f5 (357|$#,!.,)!
 483 0 s9|&
 484 0 s10|&
 485 3 f0 (66|$#,)!
 486 3 f2 (66|$#,)!
 487 3 f0 (66|$#,)!
 488 3 f2 (66|$#,)!
 489 3 f0 (66|$#,)!
 490 3 f2 (66|$#,)!
 491 3 f0 (66|$#,478|$#,)!
 492 3 f2 (66|$#,478|$#,)!
 493 3 f0 (66|$#,)!
 494 3 f2 (66|$#,)!
 495 3 f0 (66|$#,)!
 496 3 f2 (66|$#,)!
 497 3 f0 (66|$#,)!
 498 3 f2 (66|$#,)!
 499 3 f0 (66|$#,)!
 500 3 f2 (66|$#,)!
 501 3 f0 (66|$#,)!
 502 3 f2 (66|$#,)!
 503 3 f0 (66|$#,)!
 504 3 f2 (66|$#,)!
 505 3 f0 (66|$#,)!
 506 3 f2 (66|$#,)!
 507 3 f0 (66|$#,)!
 508 3 f2 (66|$#,)!
 509 3 f0 (66|$#,479|$#,)!
 510 3 f66 (66|$#,479|$#,)!
 511 3 f0 (66|$#,)!
 512 3 f66 (66|$#,)!
 513 3 f0 (66|$#,)!
 514 3 f66 (66|$#,)!
 515 3 f0 (23|$#,)!
 516 3 f479 (23|$#,)!
 517 3 f0 (23|$#,)!
 518 3 f478 (23|$#,)!
 519 3 f0 (23|$#,63|$#,)!
 520 3 f5 (23|$#,63|$#,)!
 521 3 f0 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
 522 3 f5 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
 523 3 f0 (23|4@5@7&#,65|$#,)!
 524 3 f5 (23|4@5@7&#,65|$#,)!
 525 3 f0 (357|4@0@7&#,23|$#,63|$#,)!
 526 3 f63 (357|4@0@7&#,23|$#,63|$#,)!
 527 3 f0 (23|4@0@7&#,357|$#,63|$#,)!
 528 3 f63 (23|4@0@7&#,357|$#,63|$#,)!
 529 3 C0.1/20|!
 530 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
 531 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
 532 3 f524 (20|@5|4@0@9&#,20|$#,63|$#,)!
 533 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
 534 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
 535 3 f524 (20|@5|4@0@7&#,20|$#,63|$#,)!
 536 3 C0.1/23|!
 537 3 f0 (23|4@0@9&#,23|$#,)!
 538 3 f1 (23|4@0@9&#,23|$#,)!
 539 3 f531 (23|4@0@9&#,23|$#,)!
 540 3 f0 (23|4@0@9&#,23|$#,63|$#,)!
 541 3 f1 (23|4@0@9&#,23|$#,63|$#,)!
 542 3 f531 (23|4@0@9&#,23|$#,63|$#,)!
 543 3 f0 (23|4@0@9&#,23|$#,)!
 544 3 f1 (23|4@0@9&#,23|$#,)!
 545 3 f531 (23|4@0@9&#,23|$#,)!
 546 3 f0 (23|4@0@9&#,23|$#,5|$#,)!
 547 3 f1 (23|4@0@9&#,23|$#,5|$#,)!
 548 3 f531 (23|4@0@9&#,23|$#,5|$#,)!
 549 3 f0 (20|$#,20|$#,63|$#,)!
 550 3 f5 (20|$#,20|$#,63|$#,)!
 551 3 f0 (23|$#,23|$#,)!
 552 3 f5 (23|$#,23|$#,)!
 553 3 f0 (23|$#,23|$#,)!
 554 3 f5 (23|$#,23|$#,)!
 555 3 f0 (23|$#,23|$#,63|$#,)!
 556 3 f5 (23|$#,23|$#,63|$#,)!
 557 3 f0 (23|4@5@7&#,23|$#,63|$#,)!
 558 3 f63 (23|4@5@7&#,23|$#,63|$#,)!
 559 3 f0 (20|$#,5|$#,63|$#,)!
 560 3 f19 (20|$#,5|$#,63|$#,)!
 561 3 f20 (20|$#,5|$#,63|$#,)!
 562 3 f0 (23|$#,4|$#,)!
 563 3 f19 (23|$#,4|$#,)!
 564 3 f23 (23|$#,4|$#,)!
 565 3 f0 (23|$#,23|$#,)!
 566 3 f63 (23|$#,23|$#,)!
 567 3 f0 (23|@5|$#,23|$#,)!
 568 3 f19 (23|@5|$#,23|$#,)!
 569 3 f23 (23|@5|$#,23|$#,)!
 570 3 f0 (23|@5|$#,4|$#,)!
 571 3 f19 (23|@5|$#,4|$#,)!
 572 3 f23 (23|@5|$#,4|$#,)!
 573 3 f0 (23|$#,23|$#,)!
 574 3 f63 (23|$#,23|$#,)!
 575 3 f0 (23|@5|0@0@9&#,23|$#,)!
 576 3 f19 (23|@5|0@0@9&#,23|$#,)!
 577 3 f23 (23|@5|0@0@9&#,23|$#,)!
 578 3 f0 (23|@5|0@5@7&#,23|$#,)!
 579 3 f19 (23|@5|0@5@7&#,23|$#,)!
 580 3 f23 (23|@5|0@5@7&#,23|$#,)!
 581 3 C0.1/20|!
 582 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
 583 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
 584 3 f576 (20|@5|4@0@7&#,5|$#,63|$#,)!
 585 3 f0 (5|$#,)!
 586 3 f19 (5|$#,)!
 587 3 f23 (5|$#,)!
 588 3 f0 (23|$#,)!
 589 3 f63 (23|$#,)!
 590 0 s11|&
 591 0 s12|-1 594 -1
 592 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,}!
 593 3 f0 ()!
 594 3 f585 ()!
 595 3 f0 (586|$#,586|$#,)!
 596 3 f17 (586|$#,586|$#,)!
 597 3 f0 (419|$#,)!
 598 3 f586 (419|$#,)!
 599 1 t586|586&
 600 3 f0 (594|4@5@7&#,)!
 601 3 f586 (594|4@5@7&#,)!
 602 3 f0 (419|$#,)!
 603 3 f19 (419|$#,)!
 604 3 f23 (419|$#,)!
 605 3 f0 (594|$#,)!
 606 3 f19 (594|$#,)!
 607 3 f23 (594|$#,)!
 608 3 f0 (594|$#,)!
 609 3 f19 (594|$#,)!
 610 3 f419 (594|$#,)!
 611 3 f0 (594|$#,)!
 612 3 f19 (594|$#,)!
 613 3 f419 (594|$#,)!
 614 3 f0 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
 615 3 f63 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
 616 ;;tistable
 617 1
 618 0
 619 0,15
 620 15
 621 0,15,16
 622 16
 623 0,15,16,17
 624 17
 625 0,15,16,17,18
 626 18
 627 ;;symTable
 628 *0 (Datatype)
 629 0@+@=@0@0@0@0@67#mbstate_t
 630 2@+@-@0@0@0@0@2#lltX_bool
 631 13@-@-@0@0@0@0@59#__SIZE_TYPE__
 632 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
 633 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
 634 13@-@-@0@0@0@0@62#ptrdiff_t
 635 13@-@-@0@0@0@0@65#wchar_t
 636 13@-@-@0@0@0@0@66#wint_t
 637 13@-@-@0@0@0@0@156#sig_atomic_t
 638 13@-@-@0@0@0@0@478#wctype_t
 639 13@-@-@0@0@0@0@479#wctrans_t
 640 13@-@-@0@0@0@0@585#clock_t
 641 13@-@-@0@0@0@0@586#time_t
 642 14@-@-@0@0@0@0@63#size_t
 643 15@-@-@0@0@0@0@64#ssize_t
 644 20@+@+@0@0@0@0@151#jmp_buf
 645 20@+@+@0@0@0@0@184#va_list
 646 20@+@+@0@0@0@0@189#FILE
 647 20@+@+@0@0@0@0@190#fpos_t
 648 341@-@-@0@0@0@0@343#div_t
 649 348@-@-@0@0@0@0@350#ldiv_t
 650 *1 (Constant)
 651 0@i0@0@6#NULL
 652 2@i1@0@0#TRUE
 653 2$#NDEBUG
 654 2@i0@0@6#FALSE
 655 3$#UCHAR_MAX#UCHAR_MIN
 656 4$#CHAR_MAX#CHAR_MIN#SCHAR_MAX#SCHAR_MIN
 657 5$#BUFSIZ#CHAR_BIT#CLOCKS_PER_SEC#EDOM#EILSEQ#EOF#ERANGE#EXIT_FAILURE#EXIT_SUCCESS#FILENAME_MAX#FLT_RADIX#FOPEN_MAX#INT_MAX#INT_MIN#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME#L_tmpnam#RAND_MAX#SEEK_CUR#SEEK_END#SEEK_SET#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM#TMP_MAX#WCHAR_MAX#WCHAR_MIN#_IOFBF#_IOLBF#_IONBF#__INCLUDE_LEVEL__#__LCLINT__#__LINE__
 658 6$#UINT_MAX
 659 7$#SHRT_MAX#SHRT_MIN
 660 8$#USHRT_MAX
 661 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
 662 10$#ULONG_MAX
 663 17$#HUGE_VAL
 664 23$#__BASE_FILE__#__DATE__#__FILE__#__REGISTER_PREFIX__#__TIME__#__USER_LABEL_PREFIX__#__VERSION__
 665 63$#MB_CUR_MAX
 666 66$#WEOF
 667 160$#SIG_DFL
 668 164$#SIG_ERR
 669 168$#SIG_IGN
 670 *3 (Variable)
 671 5|@1|0@0@0@0@1#DBL_DIG#DBL_MANT_DIG#DBL_MAX_10_EXP#DBL_MAX_EXP#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG#FLT_MANT_DIG#FLT_MAX_10_EXP#FLT_MAX_EXP#FLT_MIN_10_EXP#FLT_MIN_EXP#FLT_ROUNDS#LDBL_DIG#LDBL_MANT_DIG#LDBL_MAX_10_EXP#LDBL_MAX_EXP#LDBL_MIN_10_EXP#LDBL_MIN_EXP
 672 5|@1|0@0@0@0@4#errno
 673 16|@1|0@0@0@0@1#FLT_EPSILON#FLT_MAX#FLT_MIN
 674 17|@1|0@0@0@0@1#DBL_EPSILON#DBL_MAX#DBL_MIN
 675 18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN
 676 191|@1|0@0@0@0@2#stderr#stdin#stdout
 677 *4 (Function)
 678 338$@0@g111@0@0@1@tp0,g111$@0#qsort
 679 155@6@0@5@0@0@1@@1@s0$@0#longjmp
 680 186$@0@@1@p0$@0#va_start
 681 213$@0@s3@1@s3,tp0,tp1$@0#setbuf
 682 71@6@0@8@0@0@1@@1@s0$@0#assert
 683 314@6@0@6@0@0@1@@1@s0$@0#exit
 684 299$@0@s1@1@s1$@0#srand
 685 310$@0@@1@tp0$@0#free
 686 281$@1@g111@0@0,g121@0@0,s3@1@s3,tg121$@0#perror
 687 188$@0@@1@p0$@0#va_end
 688 275$@0@@1@tp0$@0#clearerr#rewind
 689 312@6@0@6@0@0@1@@1@s0$@0#abort
 690 487$@1@@1@s0$@0#iswctype
 691 73$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit
 692 481$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit
 693 95$@1@@1@s0$@0#tolower#toupper
 694 215$@0@s3@1@s3,tp0,tp1$@0#setvbuf
 695 397$@0@@1@tp0$@0#vswprintf
 696 389@6@0@1@1@0@0@@1@tp0$@0#swprintf
 697 545$@1@@1@s0$@0#memcmp
 698 551$@1@@1@s0$@0#strncmp
 699 227@6@0@1@2@0@1@@1@s0$@0#sscanf
 700 233$@0@@1@tp0,p2$@0#vsprintf
 701 225@6@0@1@1@0@0@@1@tp0$@0#sprintf
 702 267$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fseek
 703 229$@0@s3,g111@0@0@1@s3,tp0,p2,g111$@0#vfprintf
 704 217@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
 705 219@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
 706 395$@0@s3@1@s3,tp0$@0#vfwprintf
 707 368@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
 708 370@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
 709 429$@1@@1@s0$@0#wcsncmp#wmemcmp
 710 391@6@0@1@2@0@0@g122@0@0@1@tg122$@0#swscanf
 711 517$@0@@1@tp0$@0#mbtowc
 712 547$@1@@1@s0$@0#strcmp#strcoll
 713 195$@0@s3,g111@0@0@1@s3,g111$@0#rename
 714 515$@1@@1@s0$@0#mblen
 715 231$@1@g123@0@0,s3@1@s3,p1,tg123$@0#vprintf
 716 243$@0@s3@1@s3,tp1$@0#fputs
 717 221@6@0@1@1@0@1@g123@0@0,s3@1@s3,tg123$@0#printf
 718 223@6@0@1@2@0@1@g122@0@0,s3@1@s3,tg122$@0#scanf
 719 519$@0@@1@tp0$@0#wctomb
 720 366$@1@@1@s0$@0#fwide
 721 269$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fsetpos
 722 265$@0@g111@0@0@1@tp1,g111$@0#fgetpos
 723 399$@0@s3,g123@0@0@1@s3,tg123$@0#vwprintf
 724 364$@0@s3@1@s3,tp1$@0#fputws
 725 410$@1@@1@s0$@0#wcscmp#wcscoll
 726 475@6@0@1@1@0@1@g123@0@0,g111@0@0@1@g111,tg123$@0#wprintf
 727 477@6@0@1@2@0@1@g122@0@0,g111@0@0@1@g111,tg122$@0#wscanf
 728 241$@0@s3,g111@0@0@1@s3,tp1,g111$@0#fputc#ungetc
 729 252$@0@s3@1@s3,tp1$@0#putc
 730 340$@1@@1@s0$@0#abs
 731 183@6@0@5@0@0$$@0#raise
 732 193$@0@s3,g111@0@0@1@s3,g111$@0#remove
 733 256$@1@g123@0@0,s3@1@s3,tg123$@0#puts
 734 285$@1@@1@s0$@0#atoi
 735 325$@0@s3@1@s3$@0#system
 736 459$@1@@1@s0$@0#wctob
 737 153$@0@@1@p0$@0#setjmp
 738 203$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fclose#fgetc
 739 277$@0@g111@0@0@1@g111$@0#feof#ferror
 740 245$@0@s3@1@s3,tp0$@0#getc
 741 205$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fflush
 742 320$@0@s1@1@s1$@0#atexit
 743 381$@1@@1@s0$@0#mbsinit
 744 254$@1@g123@0@0,s3@1@s3,tg123$@0#putchar
 745 247$@1@g122@0@0,s3@1@s3,tg122$@0#getchar
 746 297$@0@s1@1@s1$@0#rand
 747 293$@0@g111@0@0@1@tp1,g111$@0#strtol
 748 453$@0@@1@tp1$@0#wcstol
 749 347$@1@@1@s0$@0#labs
 750 287$@1@@1@s0$@0#atol
 751 271$@0@g111@0@0@1@g111$@0#ftell
 752 295$@0@g111@0@0@1@tp1,g111$@0#strtoul
 753 455$@0@@1@tp1$@0#wcstoul
 754 130$@0@g111@0@0@1@g111$@0#ldexp
 755 120$@1@@1@s0$@0#atan2#fmod
 756 138$@0@g111@0@0@1@g111$@0#pow
 757 132$@0@@1@tp1$@0#frexp
 758 148$@0@@1@tp1$@0#modf
 759 291$@0@g111@0@0@1@tp1,g111$@0#strtod
 760 448$@0@@1@tp1$@0#wcstod
 761 591$@1@@1@s0$@0#difftime
 762 116$@0@g111@0@0@1@g111$@0#acos#asin#cosh#exp#log#log10#sqrt
 763 118$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh
 764 283$@1@@1@s0$@0#atof
 765 332@6@5@1@0@0@1@@1@s0@18@0@0#bsearch
 766 556@6@5@1@0@0@1@@1@s0@3@0@0#memchr
 767 308@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
 768 302@6@5@1@0@0@1@@1@s0@2@0@0#calloc
 769 305@4@5@1@0@0@1@@1@s0@2@0@0#malloc
 770 238@6@5@1@0@0@0@s3,g111@0@0@1@s3,tp0,tp2,g111$@0#fgets
 771 102@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111@19@3@0#setlocale
 772 559@6@5@1@0@0@1@@1@s0@19@2@0#strchr
 773 567@6@5@1@0@0@1@@1@s0@19@2@0#strrchr
 774 564@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
 775 575@6@5@1@0@0@0@s1,g111@0@0@1@tp0,s1,g111@19@2@0#strtok
 776 572@6@5@1@0@0@1@@1@s0@19@2@0#strstr
 777 582$@1@@1@s0@19@3@0#strerror
 778 323@6@5@1@0@0@1@@1@s0@19@3@0#getenv
 779 250@6@5@1@0@0@1@g122@0@0,s3,g111@0@0@1@s3,tp0,tg122,g111@3@0@0#gets
 780 201$@0@s1@1@tp0,s1@19@3@0#tmpnam
 781 599$@0@g111@0@0@1@g111@19@3@0#asctime
 782 602$@1@@1@s0@19@3@0#ctime
 783 262$@0@s3,g111@0@0@1@s3,tp3,g111$@0#fwrite
 784 260$@0@s3,g111@0@0@1@s3,tp0,tp3,g111$@0#fread
 785 441$@0@@1@tp1$@0#wcsrtombs
 786 610$@0@@1@tp0$@0#strftime
 787 379$@0@@1@tp0$@0#mbrtowc
 788 383$@0@@1@tp0$@0#mbsrtowcs
 789 421$@0@@1@tp0$@0#wcsftime
 790 377$@1@@1@s0$@0#mbrlen
 791 523$@0@@1@tp0$@0#wcstombs
 792 553$@0@@1@tp0$@0#strxfrm
 793 401$@0@@1@tp0$@0#wcrtomb
 794 457$@0@@1@tp0$@0#wcsxfrm
 795 521$@0@@1@tp0$@0#mbstowcs
 796 561$@1@@1@s0$@0#strcspn#strspn
 797 417$@1@@1@s0$@0#wcscspn#wcsspn
 798 584$@1@@1@s0$@0#strlen
 799 423$@1@@1@s0$@0#wcslen
 800 362$@0@s3@1@s3,tp1$@0#fputwc
 801 385$@0@s3@1@s3,tp1$@0#putwc
 802 393$@0@s3@1@s3,tp1$@0#ungetwc
 803 505$@1@@1@s0$@0#towctrans
 804 354$@1@@1@s0$@0#btowc
 805 387$@0@s3,g123@0@0@1@s3,tg123$@0#putwchar
 806 507$@1@@1@s0$@0#towlower#towupper
 807 356$@0@s3@1@s3,tp0$@0#fgetwc
 808 372$@0@s3@1@s3,tp0$@0#getwc
 809 374$@0@s3,g122@0@0@1@s3,tg122$@0#getwchar
 810 106$@1@@1@s0@3@0@0#localeconv
 811 211@6@5@1@0@0@0@s3,g111@0@0@1@tp2,s3,g111@3@0@0#freopen
 812 208@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
 813 198@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
 814 345$@1@@1@s0$@0#div
 815 352$@1@@1@s0$@0#ldiv
 816 462@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr
 817 360@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
 818 473$@0@@1@tp0$@0#wmemset
 819 467$@0@@1@tp0$@0#wmemcpy#wmemmove
 820 451@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
 821 446@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr
 822 438@6@5@1@0@0@1@@1@s0$@0#wcsrchr
 823 408@6@5@1@0@0@1@@1@s0@19@2@0#wcschr
 824 435@6@5@1@0@0@1@@1@s0$@0#wcspbrk
 825 608@6@5@1@0@0@0@g111@0@0@1@g111@19@3@0#localtime
 826 605@6@5@1@0@0@1@@1@s0@19@3@0#gmtime
 827 513$@1@@1@s0$@0#wctype
 828 511$@1@@1@s0$@0#wctrans
 829 589$@0@s1@1@s1$@0#clock
 830 593$@1@@1@s0$@0#mktime
 831 596$@0@@1@tp0$@0#time
 832 181@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111$@0#signal
 833 579$@0@@1@tp0$@0#memset
 834 530$@0@@1@tp0$@0#memmove
 835 527$@0@@1@tp0$@0#memcpy
 836 543$@0@@1@tp0@3@0@0#strncat
 837 537$@0@@1@tp0@3@0@0#strncpy
 838 540$@0@@1@tp0@3@0@0#strcat#strcpy
 839 427$@0@@1@tp0$@0#wcsncat#wcsncpy
 840 405$@0@@1@tp0$@0#wcscat#wcscpy
 841 *7 (Struct tag)
 842 341@342#@!2
 843 348@349#@!3
 844 587@418#@tm
 845 98@99#@lconv
 846 ;; Library constraints
 847 realloc
 848 pre:EMPTY
 849 post:
 850 C
 851 0@1@3
 852 l
 853 1
 854 1
 855 2
 856 2
 857 Result
 858 r
 859 0
 860 1
 861 e1
 862 2
 863 2
 864 Param 63 1
 865 e2
 866 2
 867 3
 868 -1
 869 ;; end precondition constraints
 870 calloc
 871 pre:EMPTY
 872 post:
 873 C
 874 0@1@4
 875 l
 876 1
 877 1
 878 2
 879 2
 880 Result
 881 r
 882 0
 883 1
 884 e1
 885 2
 886 2
 887 Param 63 0
 888 e2
 889 2
 890 3
 891 -1
 892 ;; end precondition constraints
 893 malloc
 894 pre:EMPTY
 895 post:
 896 C
 897 0@1@4
 898 l
 899 1
 900 1
 901 2
 902 2
 903 Result
 904 r
 905 0
 906 1
 907 e1
 908 2
 909 2
 910 Param 63 0
 911 e2
 912 2
 913 3
 914 -1
 915 ;; end precondition constraints
 916 fgets
 917 pre:
 918 C
 919 0@1@3
 920 l
 921 1
 922 1
 923 2
 924 2
 925 Param 23 0
 926 r
 927 0
 928 1
 929 e1
 930 2
 931 2
 932 Param 5 1
 933 e2
 934 2
 935 3
 936 -1
 937 ;; end precondition constraints
 938 post:
 939 C
 940 0@1@3
 941 l
 942 1
 943 3
 944 2
 945 2
 946 Param 23 0
 947 r
 948 2
 949 3
 950 0
 951 C
 952 0@1@1
 953 l
 954 1
 955 3
 956 2
 957 2
 958 Param 23 0
 959 r
 960 0
 961 1
 962 e1
 963 2
 964 2
 965 Param 5 1
 966 e2
 967 2
 968 3
 969 -1
 970 ;; end precondition constraints
 971 strchr
 972 pre:EMPTY
 973 post:
 974 C
 975 0@1@3
 976 l
 977 1
 978 3
 979 2
 980 2
 981 Result
 982 r
 983 2
 984 3
 985 0
 986 C
 987 0@1@1
 988 l
 989 1
 990 3
 991 2
 992 2
 993 Result
 994 r
 995 1
 996 3
 997 2
 998 2
 999 Param 23 0
1000 C
1001 0@1@1
1002 l
1003 1
1004 1
1005 2
1006 2
1007 Result
1008 r
1009 1
1010 1
1011 2
1012 2
1013 Param 23 0
1014 C
1015 0@1@3
1016 l
1017 1
1018 1
1019 2
1020 2
1021 Result
1022 r
1023 2
1024 3
1025 0
1026 ;; end precondition constraints
1027 strrchr
1028 pre:EMPTY
1029 post:
1030 C
1031 0@1@3
1032 l
1033 1
1034 3
1035 2
1036 2
1037 Result
1038 r
1039 2
1040 3
1041 0
1042 C
1043 0@1@1
1044 l
1045 1
1046 3
1047 2
1048 2
1049 Result
1050 r
1051 1
1052 3
1053 2
1054 2
1055 Param 23 0
1056 C
1057 0@1@1
1058 l
1059 1
1060 1
1061 2
1062 2
1063 Result
1064 r
1065 1
1066 1
1067 2
1068 2
1069 Param 23 0
1070 C
1071 0@1@3
1072 l
1073 1
1074 1
1075 2
1076 2
1077 Result
1078 r
1079 2
1080 3
1081 0
1082 ;; end precondition constraints
1083 strstr
1084 pre:EMPTY
1085 post:
1086 C
1087 0@1@3
1088 l
1089 1
1090 3
1091 2
1092 2
1093 Result
1094 r
1095 2
1096 3
1097 0
1098 C
1099 0@1@1
1100 l
1101 1
1102 3
1103 2
1104 2
1105 Result
1106 r
1107 1
1108 3
1109 2
1110 2
1111 Param 23 0
1112 C
1113 0@1@1
1114 l
1115 1
1116 1
1117 2
1118 2
1119 Result
1120 r
1121 1
1122 1
1123 2
1124 2
1125 Param 23 0
1126 C
1127 0@1@3
1128 l
1129 1
1130 1
1131 2
1132 2
1133 Result
1134 r
1135 2
1136 3
1137 0
1138 ;; end precondition constraints
1139 asctime
1140 pre:EMPTY
1141 post:
1142 C
1143 0@1@4
1144 l
1145 1
1146 3
1147 2
1148 2
1149 Result
1150 r
1151 2
1152 3
1153 25
1154 C
1155 0@1@4
1156 l
1157 1
1158 1
1159 2
1160 2
1161 Result
1162 r
1163 2
1164 3
1165 25
1166 ;; end precondition constraints
1167 ctime
1168 pre:EMPTY
1169 post:
1170 C
1171 0@1@4
1172 l
1173 1
1174 3
1175 2
1176 2
1177 Result
1178 r
1179 2
1180 3
1181 25
1182 C
1183 0@1@4
1184 l
1185 1
1186 1
1187 2
1188 2
1189 Result
1190 r
1191 2
1192 3
1193 25
1194 ;; end precondition constraints
1195 strlen
1196 pre:EMPTY
1197 post:
1198 C
1199 0@1@4
1200 l
1201 2
1202 2
1203 Result
1204 r
1205 1
1206 3
1207 2
1208 2
1209 Param 23 0
1210 ;; end precondition constraints
1211 memset
1212 pre:
1213 C
1214 0@1@3
1215 l
1216 1
1217 1
1218 2
1219 2
1220 Param 20 0
1221 r
1222 0
1223 1
1224 e1
1225 2
1226 2
1227 Param 63 2
1228 e2
1229 2
1230 3
1231 -1
1232 ;; end precondition constraints
1233 post:
1234 C
1235 0@1@3
1236 l
1237 1
1238 3
1239 2
1240 2
1241 Param 20 0
1242 r
1243 0
1244 1
1245 e1
1246 2
1247 2
1248 Param 63 2
1249 e2
1250 2
1251 3
1252 -1
1253 ;; end precondition constraints
1254 memmove
1255 pre:
1256 C
1257 0@1@3
1258 l
1259 1
1260 1
1261 2
1262 2
1263 Param 20 0
1264 r
1265 2
1266 2
1267 Param 63 2
1268 C
1269 0@1@3
1270 l
1271 1
1272 3
1273 2
1274 2
1275 Param 20 1
1276 r
1277 2
1278 2
1279 Param 63 2
1280 ;; end precondition constraints
1281 post:EMPTY
1282 memcpy
1283 pre:
1284 C
1285 0@1@3
1286 l
1287 1
1288 1
1289 2
1290 2
1291 Param 20 0
1292 r
1293 2
1294 2
1295 Param 63 2
1296 C
1297 0@1@3
1298 l
1299 1
1300 3
1301 2
1302 2
1303 Param 20 1
1304 r
1305 2
1306 2
1307 Param 63 2
1308 ;; end precondition constraints
1309 post:EMPTY
1310 strncat
1311 pre:
1312 C
1313 0@1@3
1314 l
1315 1
1316 1
1317 2
1318 2
1319 Param 23 0
1320 r
1321 0
1322 1
1323 e1
1324 1
1325 3
1326 2
1327 2
1328 Param 23 0
1329 e2
1330 2
1331 2
1332 Param 5 2
1333 ;; end precondition constraints
1334 post:
1335 C
1336 0@1@3
1337 l
1338 1
1339 3
1340 2
1341 2
1342 Result
1343 r
1344 0
1345 1
1346 e1
1347 1
1348 3
1349 2
1350 2
1351 Param 23 0
1352 e2
1353 2
1354 2
1355 Param 5 2
1356 ;; end precondition constraints
1357 strncpy
1358 pre:
1359 C
1360 0@1@3
1361 l
1362 1
1363 1
1364 2
1365 2
1366 Param 23 0
1367 r
1368 0
1369 1
1370 e1
1371 2
1372 2
1373 Param 63 2
1374 e2
1375 2
1376 3
1377 -1
1378 ;; end precondition constraints
1379 post:
1380 C
1381 0@1@1
1382 l
1383 1
1384 3
1385 2
1386 2
1387 Param 23 0
1388 r
1389 2
1390 2
1391 Param 63 2
1392 C
1393 0@1@3
1394 l
1395 1
1396 3
1397 2
1398 2
1399 Param 23 1
1400 r
1401 1
1402 3
1403 2
1404 2
1405 Param 23 0
1406 ;; end precondition constraints
1407 strcat
1408 pre:
1409 C
1410 0@1@3
1411 l
1412 1
1413 1
1414 2
1415 2
1416 Param 23 0
1417 r
1418 0
1419 1
1420 e1
1421 1
1422 3
1423 2
1424 2
1425 Param 23 0
1426 e2
1427 1
1428 3
1429 2
1430 2
1431 Param 23 1
1432 ;; end precondition constraints
1433 post:EMPTY
1434 strcpy
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 1
1446 3
1447 2
1448 2
1449 Param 23 1
1450 ;; end precondition constraints
1451 post:
1452 C
1453 0@1@4
1454 l
1455 1
1456 1
1457 2
1458 2
1459 Result
1460 r
1461 1
1462 1
1463 2
1464 2
1465 Param 23 0
1466 C
1467 0@1@4
1468 l
1469 1
1470 3
1471 2
1472 2
1473 Result
1474 r
1475 1
1476 3
1477 2
1478 2
1479 Param 23 1
1480 C
1481 0@1@4
1482 l
1483 1
1484 3
1485 2
1486 2
1487 Param 23 0
1488 r
1489 1
1490 3
1491 2
1492 2
1493 Param 23 1
1494 ;; end precondition constraints
1495 ;; Modules access
1496 lltX_bool#1@
1497 types#1@
1498 ansi#9@
1499 ;;End