X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/119f0b939487be7edf6e68d5696eee3e605340a5..60868d40e1ea0f9d4c026d991b0e79e4b1e4c986:/lib/ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index e7dc655..9b7fdad 100644
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: ansistrict.lcd
-;;LCLint 3.0.0.7 --- 12 July 2001
-;;lib:167
+;;; Splint Library  ansistrict.lcd
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -21,11 +21,11 @@
 0 p16|-2 35 54
 0 p17|-2 36 55
 0 p18|-2 37 56
-1 t0|0 288 -1
+1 t0|0 290 -1
 1 t1|1&
 1 t2|2&
 1 t3|3&
-1 t4|4 289 -1
+1 t4|4 291 -1
 1 t5|5&
 1 t6|6&
 1 t7|7&
@@ -67,9 +67,9 @@
 0 s23|&
 0 s24|&
 0 s25|&
-0 s26|-1 357 -1
+0 s26|-1 359 -1
 0 s27|&
-0 a28|-1 375 -1
+0 a28|-1 377 -1
 3 C0.5/20|!
 3 C0.68/2|!
 3 f0 (2|@7|$#,)!
@@ -192,7 +192,7 @@
 3 f0 (184|$#,)!
 3 f1 (184|$#,)!
 0 a141|-1 191 -1
-0 a142|-1 263 -1
+0 a142|-1 265 -1
 1 t189|189&
 3 f0 (23|$#,)!
 3 f5 (23|$#,)!
@@ -230,20 +230,22 @@
 3 f5 (23|4@0@7&#,23|$#,!.,)!
 3 f0 (23|4@0@7&#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (191|$#,23|$#,184|$#,)!
-3 f5 (191|$#,23|$#,184|$#,)!
 3 f0 (23|$#,184|$#,)!
 3 f5 (23|$#,184|$#,)!
+3 f0 (191|$#,23|$#,184|$#,)!
+3 f5 (191|$#,23|$#,184|$#,)!
 3 f0 (23|4@0@7&#,23|$#,184|$#,)!
 3 f5 (23|4@0@7&#,23|$#,184|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,184|$#,)!
+3 f5 (23|4@0@7&#,63|$#,23|$#,184|$#,)!
 3 f0 (191|$#,)!
 3 f5 (191|$#,)!
 3 f0 (23|@5|4@0@7&#,5|$#,191|$#,)!
 3 f19 (23|@5|4@0@7&#,5|$#,191|$#,)!
 3 f23 (23|@5|4@0@7&#,5|$#,191|$#,)!
 3 C0.5/4|!
-3 f0 (239|$#,191|$#,)!
-3 f5 (239|$#,191|$#,)!
+3 f0 (241|$#,191|$#,)!
+3 f5 (241|$#,191|$#,)!
 3 f0 (23|$#,191|$#,)!
 3 f5 (23|$#,191|$#,)!
 3 f0 (191|@7|$#,)!
@@ -253,25 +255,25 @@
 3 f0 (23|4@0@7&#,)!
 3 f19 (23|4@0@7&#,)!
 3 f23 (23|4@0@7&#,)!
-3 f0 (239|$#,191|@7|$#,)!
-3 f5 (239|$#,191|@7|$#,)!
-3 f0 (239|$#,)!
-3 f5 (239|$#,)!
+3 f0 (241|$#,191|@7|$#,)!
+3 f5 (241|$#,191|@7|$#,)!
+3 f0 (241|$#,)!
+3 f5 (241|$#,)!
 3 f0 (23|$#,)!
 3 f5 (23|$#,)!
-3 f0 (239|$#,191|$#,)!
-3 f5 (239|$#,191|$#,)!
+3 f0 (241|$#,191|$#,)!
+3 f5 (241|$#,191|$#,)!
 3 f0 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
 3 f63 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
 3 f0 (20|$#,63|$#,63|$#,191|$#,)!
 3 f63 (20|$#,63|$#,63|$#,191|$#,)!
 1 t190|190&
-3 f0 (191|$#,263|4@0@7&#,)!
-3 f5 (191|$#,263|4@0@7&#,)!
+3 f0 (191|$#,265|4@0@7&#,)!
+3 f5 (191|$#,265|4@0@7&#,)!
 3 f0 (191|$#,9|$#,5|$#,)!
 3 f5 (191|$#,9|$#,5|$#,)!
-3 f0 (191|$#,263|$#,)!
-3 f5 (191|$#,263|$#,)!
+3 f0 (191|$#,265|$#,)!
+3 f5 (191|$#,265|$#,)!
 3 f0 (191|$#,)!
 3 f9 (191|$#,)!
 3 f0 (191|$#,)!
@@ -292,12 +294,12 @@
 3 f9 (23|$#,)!
 1 t19|19&
 1 t23|23&
-3 f0 (23|$#,289|4@5@7&#,)!
-3 f17 (23|$#,289|4@5@7&#,)!
-3 f0 (23|$#,289|4@5@7&#,5|$#,)!
-3 f9 (23|$#,289|4@5@7&#,5|$#,)!
-3 f0 (23|$#,289|4@5@7&#,5|$#,)!
-3 f10 (23|$#,289|4@5@7&#,5|$#,)!
+3 f0 (23|$#,291|4@5@7&#,)!
+3 f17 (23|$#,291|4@5@7&#,)!
+3 f0 (23|$#,291|4@5@7&#,5|$#,)!
+3 f9 (23|$#,291|4@5@7&#,5|$#,)!
+3 f0 (23|$#,291|4@5@7&#,5|$#,)!
+3 f10 (23|$#,291|4@5@7&#,5|$#,)!
 3 f0 ()!
 3 f5 ()!
 3 f0 (6|$#,)!
@@ -318,178 +320,178 @@
 3 f0 (5|$#,)!
 3 f1 (5|$#,)!
 3 ?!
-3 f315 ()!
-3 f1 ()^318
-1 t317|317&
-3 f0 (318|$#,)!
-3 f5 (318|$#,)!
+3 f317 ()!
+3 f1 ()^320
+1 t319|319&
+3 f0 (320|$#,)!
+3 f5 (320|$#,)!
 3 f0 (23|$#,)!
 3 f19 (23|$#,)!
 3 f23 (23|$#,)!
 3 f0 (23|0@5@7&#,)!
 3 f5 (23|0@5@7&#,)!
 3 ?!
-3 f326 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^329
-1 t328|328&
-3 f0 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
-3 f19 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
-3 f20 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
+3 f328 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^331
+1 t330|330&
+3 f0 (20|$#,20|$#,63|$#,63|$#,331|$#,)!
+3 f19 (20|$#,20|$#,63|$#,63|$#,331|$#,)!
+3 f20 (20|$#,20|$#,63|$#,63|$#,331|$#,)!
 3 ?!
-3 f333 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^336
-1 t335|335&
-3 f0 (20|$#,63|$#,63|$#,336|$#,)!
-3 f1 (20|$#,63|$#,63|$#,336|$#,)!
+3 f335 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^338
+1 t337|337&
+3 f0 (20|$#,63|$#,63|$#,338|$#,)!
+3 f1 (20|$#,63|$#,63|$#,338|$#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
 3 S!2{5|@1|^#quot,5|@1|^#rem,}!
-0 s220|&
 0 s221|&
+0 s222|&
 3 f0 (5|$#,5|$#,)!
-3 f343 (5|$#,5|$#,)!
+3 f345 (5|$#,5|$#,)!
 3 f0 (9|$#,)!
 3 f9 (9|$#,)!
 3 S!3{9|@1|^#quot,9|@1|^#rem,}!
-0 s224|&
 0 s225|&
+0 s226|&
 3 f0 (9|$#,9|$#,)!
-3 f350 (9|$#,9|$#,)!
+3 f352 (9|$#,9|$#,)!
 3 f0 (5|$#,)!
 3 f66 (5|$#,)!
 3 f0 (191|$#,)!
 3 f66 (191|$#,)!
-1 t65|65 439 -1
-3 f0 (357|@5|$#,5|$#,191|$#,)!
-3 f19 (357|@5|$#,5|$#,191|$#,)!
-3 f357 (357|@5|$#,5|$#,191|$#,)!
+1 t65|65 441 -1
+3 f0 (359|@5|$#,5|$#,191|$#,)!
+3 f19 (359|@5|$#,5|$#,191|$#,)!
+3 f359 (359|@5|$#,5|$#,191|$#,)!
 3 f0 (65|$#,191|$#,)!
 3 f66 (65|$#,191|$#,)!
-3 f0 (357|$#,191|$#,)!
-3 f5 (357|$#,191|$#,)!
+3 f0 (359|$#,191|$#,)!
+3 f5 (359|$#,191|$#,)!
 3 f0 (191|$#,5|$#,)!
 3 f5 (191|$#,5|$#,)!
-3 f0 (191|$#,357|$#,!.,)!
-3 f5 (191|$#,357|$#,!.,)!
-3 f0 (191|$#,357|$#,!.,)!
-3 f5 (191|$#,357|$#,!.,)!
+3 f0 (191|$#,359|$#,!.,)!
+3 f5 (191|$#,359|$#,!.,)!
+3 f0 (191|$#,359|$#,!.,)!
+3 f5 (191|$#,359|$#,!.,)!
 3 f0 (191|@7|$#,)!
 3 f66 (191|@7|$#,)!
 3 f0 ()!
 3 f66 ()!
 1 t67|67&
-3 f0 (23|$#,63|$#,375|0@5@7&#,)!
-3 f63 (23|$#,63|$#,375|0@5@7&#,)!
-3 f0 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
-3 f63 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
-3 f0 (375|0@5@7&#,)!
-3 f5 (375|0@5@7&#,)!
-3 f0 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
-3 f63 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
+3 f0 (23|$#,63|$#,377|0@5@7&#,)!
+3 f63 (23|$#,63|$#,377|0@5@7&#,)!
+3 f0 (359|0@5@7&#,23|$#,63|$#,377|0@5@7&#,)!
+3 f63 (359|0@5@7&#,23|$#,63|$#,377|0@5@7&#,)!
+3 f0 (377|0@5@7&#,)!
+3 f5 (377|0@5@7&#,)!
+3 f0 (359|0@5@7&#,291|$#,63|$#,377|0@5@7&#,)!
+3 f63 (359|0@5@7&#,291|$#,63|$#,377|0@5@7&#,)!
 3 f0 (65|$#,191|@7|$#,)!
 3 f66 (65|$#,191|@7|$#,)!
 3 f0 (65|$#,)!
 3 f66 (65|$#,)!
-3 f0 (357|$#,63|$#,357|$#,!.,)!
-3 f5 (357|$#,63|$#,357|$#,!.,)!
-3 f0 (357|$#,357|$#,!.,)!
-3 f5 (357|$#,357|$#,!.,)!
+3 f0 (359|$#,63|$#,359|$#,!.,)!
+3 f5 (359|$#,63|$#,359|$#,!.,)!
+3 f0 (359|$#,359|$#,!.,)!
+3 f5 (359|$#,359|$#,!.,)!
 3 f0 (66|$#,191|$#,)!
 3 f66 (66|$#,191|$#,)!
-3 f0 (191|$#,357|$#,184|$#,)!
-3 f5 (191|$#,357|$#,184|$#,)!
-3 f0 (357|$#,63|$#,357|$#,184|$#,)!
-3 f5 (357|$#,63|$#,357|$#,184|$#,)!
-3 f0 (357|$#,184|$#,)!
-3 f5 (357|$#,184|$#,)!
-3 f0 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
-3 f63 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
-3 C0.1/357|!
-3 f0 (357|@5|4@0@9&#,357|$#,)!
-3 f1 (357|@5|4@0@9&#,357|$#,)!
-3 f402 (357|@5|4@0@9&#,357|$#,)!
-3 f0 (357|@5|$#,65|$#,)!
-3 f19 (357|@5|$#,65|$#,)!
-3 f357 (357|@5|$#,65|$#,)!
-3 f0 (357|$#,357|$#,)!
-3 f5 (357|$#,357|$#,)!
-3 f0 (357|$#,357|$#,)!
-3 f5 (357|$#,357|$#,)!
-3 f0 (357|@5|4@0@9&#,357|$#,)!
-3 f1 (357|@5|4@0@9&#,357|$#,)!
-3 f402 (357|@5|4@0@9&#,357|$#,)!
-3 f0 (357|$#,357|$#,)!
-3 f63 (357|$#,357|$#,)!
-0 s260|-1 419 -1
-1 t418|418&
-3 f0 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
-3 f63 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
-3 f0 (357|$#,)!
-3 f63 (357|$#,)!
-3 C0.1/357|!
-3 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f0 (357|$#,357|$#,63|$#,)!
-3 f5 (357|$#,357|$#,63|$#,)!
-3 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
-3 f0 (357|@5|$#,357|$#,)!
-3 f19 (357|@5|$#,357|$#,)!
-3 f357 (357|@5|$#,357|$#,)!
-3 f0 (357|@5|$#,65|$#,)!
-3 f19 (357|@5|$#,65|$#,)!
-3 f357 (357|@5|$#,65|$#,)!
-1 t357|357&
-3 f0 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
-3 f63 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
-3 f0 (357|$#,357|$#,)!
-3 f63 (357|$#,357|$#,)!
-3 f0 (357|$#,357|$#,)!
-3 f19 (357|$#,357|$#,)!
-3 f357 (357|$#,357|$#,)!
-3 f0 (357|$#,439|0@5@7&#,)!
-3 f17 (357|$#,439|0@5@7&#,)!
-3 f0 (357|0@5@7&#,357|$#,439|$#,)!
-3 f19 (357|0@5@7&#,357|$#,439|$#,)!
-3 f357 (357|0@5@7&#,357|$#,439|$#,)!
-3 f0 (357|$#,439|0@5@7&#,5|$#,)!
-3 f9 (357|$#,439|0@5@7&#,5|$#,)!
-3 f0 (357|$#,439|0@5@7&#,5|$#,)!
-3 f10 (357|$#,439|0@5@7&#,5|$#,)!
-3 f0 (357|0@5@7&#,357|$#,63|$#,)!
-3 f63 (357|0@5@7&#,357|$#,63|$#,)!
+3 f0 (191|$#,359|$#,184|$#,)!
+3 f5 (191|$#,359|$#,184|$#,)!
+3 f0 (359|$#,63|$#,359|$#,184|$#,)!
+3 f5 (359|$#,63|$#,359|$#,184|$#,)!
+3 f0 (359|$#,184|$#,)!
+3 f5 (359|$#,184|$#,)!
+3 f0 (23|4@5@7&#,65|$#,377|0@5@7&#,)!
+3 f63 (23|4@5@7&#,65|$#,377|0@5@7&#,)!
+3 C0.1/359|!
+3 f0 (359|@5|4@0@9&#,359|$#,)!
+3 f1 (359|@5|4@0@9&#,359|$#,)!
+3 f404 (359|@5|4@0@9&#,359|$#,)!
+3 f0 (359|@5|$#,65|$#,)!
+3 f19 (359|@5|$#,65|$#,)!
+3 f359 (359|@5|$#,65|$#,)!
+3 f0 (359|$#,359|$#,)!
+3 f5 (359|$#,359|$#,)!
+3 f0 (359|$#,359|$#,)!
+3 f5 (359|$#,359|$#,)!
+3 f0 (359|@5|4@0@9&#,359|$#,)!
+3 f1 (359|@5|4@0@9&#,359|$#,)!
+3 f404 (359|@5|4@0@9&#,359|$#,)!
+3 f0 (359|$#,359|$#,)!
+3 f63 (359|$#,359|$#,)!
+0 s261|-1 421 -1
+1 t420|420&
+3 f0 (359|4@0@7&#,63|$#,359|$#,421|$#,)!
+3 f63 (359|4@0@7&#,63|$#,359|$#,421|$#,)!
+3 f0 (359|$#,)!
+3 f63 (359|$#,)!
+3 C0.1/359|!
+3 f0 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f1 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f426 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f0 (359|$#,359|$#,63|$#,)!
+3 f5 (359|$#,359|$#,63|$#,)!
+3 f0 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f1 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f426 (359|@5|4@0@9&#,359|$#,63|$#,)!
+3 f0 (359|@5|$#,359|$#,)!
+3 f19 (359|@5|$#,359|$#,)!
+3 f359 (359|@5|$#,359|$#,)!
+3 f0 (359|@5|$#,65|$#,)!
+3 f19 (359|@5|$#,65|$#,)!
+3 f359 (359|@5|$#,65|$#,)!
+1 t359|359&
+3 f0 (23|0@5@7&#,441|$#,63|$#,377|0@5@7&#,)!
+3 f63 (23|0@5@7&#,441|$#,63|$#,377|0@5@7&#,)!
+3 f0 (359|$#,359|$#,)!
+3 f63 (359|$#,359|$#,)!
+3 f0 (359|$#,359|$#,)!
+3 f19 (359|$#,359|$#,)!
+3 f359 (359|$#,359|$#,)!
+3 f0 (359|$#,441|0@5@7&#,)!
+3 f17 (359|$#,441|0@5@7&#,)!
+3 f0 (359|0@5@7&#,359|$#,441|$#,)!
+3 f19 (359|0@5@7&#,359|$#,441|$#,)!
+3 f359 (359|0@5@7&#,359|$#,441|$#,)!
+3 f0 (359|$#,441|0@5@7&#,5|$#,)!
+3 f9 (359|$#,441|0@5@7&#,5|$#,)!
+3 f0 (359|$#,441|0@5@7&#,5|$#,)!
+3 f10 (359|$#,441|0@5@7&#,5|$#,)!
+3 f0 (359|0@5@7&#,359|$#,63|$#,)!
+3 f63 (359|0@5@7&#,359|$#,63|$#,)!
 3 f0 (66|$#,)!
 3 f5 (66|$#,)!
-3 f0 (357|$#,65|$#,63|$#,)!
-3 f19 (357|$#,65|$#,63|$#,)!
-3 f357 (357|$#,65|$#,63|$#,)!
-3 f0 (357|$#,357|$#,63|$#,)!
-3 f5 (357|$#,357|$#,63|$#,)!
-3 f0 (357|@5|$#,357|$#,63|$#,)!
-3 f19 (357|@5|$#,357|$#,63|$#,)!
-3 f357 (357|@5|$#,357|$#,63|$#,)!
-3 f0 (357|@5|$#,357|$#,63|$#,)!
-3 f19 (357|@5|$#,357|$#,63|$#,)!
-3 f357 (357|@5|$#,357|$#,63|$#,)!
-3 f0 (357|@5|$#,65|$#,63|$#,)!
-3 f19 (357|@5|$#,65|$#,63|$#,)!
-3 f357 (357|@5|$#,65|$#,63|$#,)!
-3 f0 (357|$#,!.,)!
-3 f5 (357|$#,!.,)!
-3 f0 (357|$#,!.,)!
-3 f5 (357|$#,!.,)!
-0 s284|&
+3 f0 (359|$#,65|$#,63|$#,)!
+3 f19 (359|$#,65|$#,63|$#,)!
+3 f359 (359|$#,65|$#,63|$#,)!
+3 f0 (359|$#,359|$#,63|$#,)!
+3 f5 (359|$#,359|$#,63|$#,)!
+3 f0 (359|@5|$#,359|$#,63|$#,)!
+3 f19 (359|@5|$#,359|$#,63|$#,)!
+3 f359 (359|@5|$#,359|$#,63|$#,)!
+3 f0 (359|@5|$#,359|$#,63|$#,)!
+3 f19 (359|@5|$#,359|$#,63|$#,)!
+3 f359 (359|@5|$#,359|$#,63|$#,)!
+3 f0 (359|@5|$#,65|$#,63|$#,)!
+3 f19 (359|@5|$#,65|$#,63|$#,)!
+3 f359 (359|@5|$#,65|$#,63|$#,)!
+3 f0 (359|$#,!.,)!
+3 f5 (359|$#,!.,)!
+3 f0 (359|$#,!.,)!
+3 f5 (359|$#,!.,)!
 0 s285|&
+0 s286|&
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f0 (66|$#,478|$#,)!
-3 f2 (66|$#,478|$#,)!
+3 f0 (66|$#,480|$#,)!
+3 f2 (66|$#,480|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
 3 f0 (66|$#,)!
@@ -506,46 +508,46 @@
 3 f2 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f0 (66|$#,479|$#,)!
-3 f66 (66|$#,479|$#,)!
+3 f0 (66|$#,481|$#,)!
+3 f66 (66|$#,481|$#,)!
 3 f0 (66|$#,)!
 3 f66 (66|$#,)!
 3 f0 (66|$#,)!
 3 f66 (66|$#,)!
 3 f0 (23|$#,)!
-3 f479 (23|$#,)!
+3 f481 (23|$#,)!
 3 f0 (23|$#,)!
-3 f478 (23|$#,)!
+3 f480 (23|$#,)!
 3 f0 (23|$#,63|$#,)!
 3 f5 (23|$#,63|$#,)!
-3 f0 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f5 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f0 (359|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (359|0@5@7&#,23|0@5@7&#,63|$#,)!
 3 f0 (23|4@5@7&#,65|$#,)!
 3 f5 (23|4@5@7&#,65|$#,)!
-3 f0 (357|4@0@7&#,23|$#,63|$#,)!
-3 f63 (357|4@0@7&#,23|$#,63|$#,)!
-3 f0 (23|4@0@7&#,357|$#,63|$#,)!
-3 f63 (23|4@0@7&#,357|$#,63|$#,)!
+3 f0 (359|4@0@7&#,23|$#,63|$#,)!
+3 f63 (359|4@0@7&#,23|$#,63|$#,)!
+3 f0 (23|4@0@7&#,359|$#,63|$#,)!
+3 f63 (23|4@0@7&#,359|$#,63|$#,)!
 3 C0.1/20|!
 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
-3 f524 (20|@5|4@0@9&#,20|$#,63|$#,)!
+3 f526 (20|@5|4@0@9&#,20|$#,63|$#,)!
 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
-3 f524 (20|@5|4@0@7&#,20|$#,63|$#,)!
+3 f526 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 C0.1/23|!
 3 f0 (23|@5|4@0@9&#,23|$#,)!
 3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f531 (23|@5|4@0@9&#,23|$#,)!
+3 f533 (23|@5|4@0@9&#,23|$#,)!
 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f531 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f533 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f0 (23|@5|0@0@9&#,23|$#,)!
 3 f1 (23|@5|0@0@9&#,23|$#,)!
-3 f531 (23|@5|0@0@9&#,23|$#,)!
+3 f533 (23|@5|0@0@9&#,23|$#,)!
 3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
-3 f531 (23|@5|0@0@9&#,23|$#,63|$#,)!
+3 f533 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -559,9 +561,9 @@
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|$#,4|$#,)!
-3 f19 (23|$#,4|$#,)!
-3 f23 (23|$#,4|$#,)!
+3 f0 (23|@5|$#,4|$#,)!
+3 f19 (23|@5|$#,4|$#,)!
+3 f23 (23|@5|$#,4|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
@@ -581,38 +583,66 @@
 3 C0.1/20|!
 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
-3 f576 (20|@5|4@0@7&#,5|$#,63|$#,)!
+3 f578 (20|@5|4@0@7&#,5|$#,63|$#,)!
 3 f0 (5|$#,)!
 3 f19 (5|$#,)!
 3 f23 (5|$#,)!
 3 f0 (23|$#,)!
 3 f63 (23|$#,)!
-0 s331|&
-0 s332|-1 594 -1
+0 s332|&
+0 s333|-1 596 -1
 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,}!
 3 f0 ()!
-3 f585 ()!
-3 f0 (586|$#,586|$#,)!
-3 f17 (586|$#,586|$#,)!
-3 f0 (419|$#,)!
-3 f586 (419|$#,)!
-1 t586|586&
-3 f0 (594|4@5@7&#,)!
-3 f586 (594|4@5@7&#,)!
-3 f0 (419|$#,)!
-3 f19 (419|$#,)!
-3 f23 (419|$#,)!
-3 f0 (594|$#,)!
-3 f19 (594|$#,)!
-3 f23 (594|$#,)!
-3 f0 (594|$#,)!
-3 f19 (594|$#,)!
-3 f419 (594|$#,)!
-3 f0 (594|$#,)!
-3 f19 (594|$#,)!
-3 f419 (594|$#,)!
-3 f0 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
-3 f63 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
+3 f587 ()!
+3 f0 (588|$#,588|$#,)!
+3 f17 (588|$#,588|$#,)!
+3 f0 (421|$#,)!
+3 f588 (421|$#,)!
+1 t588|588&
+3 f0 (596|4@5@7&#,)!
+3 f588 (596|4@5@7&#,)!
+3 f0 (421|$#,)!
+3 f19 (421|$#,)!
+3 f23 (421|$#,)!
+3 f0 (596|$#,)!
+3 f19 (596|$#,)!
+3 f23 (596|$#,)!
+3 f0 (596|$#,)!
+3 f19 (596|$#,)!
+3 f421 (596|$#,)!
+3 f0 (596|$#,)!
+3 f19 (596|$#,)!
+3 f421 (596|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
+3 f63 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
+0 s343|&
+0 s344|&
+0 s345|&
+0 s346|&
+0 s347|&
+0 s348|&
+0 s349|&
+0 s350|&
+0 s351|&
+0 s352|&
+0 s353|&
+0 s354|&
+0 s355|&
+0 s356|&
+0 s357|&
+0 s358|&
+0 s359|&
+0 s360|&
+0 s361|&
+0 s362|&
+0 s363|&
+0 s364|&
+0 s365|&
+0 s366|&
+0 s367|&
+0 s368|&
+0 s369|&
+0 s370|&
 ;;tistable
 0
 28
@@ -785,194 +815,243 @@
 ^169 223@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
 ^170 225@6@0@1@1@0@0@@1@tp0$@0#sprintf
 ^171 227@6@0@1@2@0^$@0#sscanf
-^172 229$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^173 231$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
-^174 233$@0@@1@tp0,p2$@0#vsprintf
-^175 235$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
-^176 238@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
-^177 241$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
-^178 243$@0@s3@1@s3,tp1$@0#fputs
-^179 245$@0@s3@1@s3,tp0$@0#getc
-^180 247$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^181 250@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead.##gets
-^182 252$@0@s3@1@s3,tp1$@0#putc
-^183 254$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
-^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#puts
-^185 258$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
-^186 260$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
-^187 262$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
-^188 265$@0@g22@6@0@1@tp1,g22$@0#fgetpos
-^189 267$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
-^190 269$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
-^191 271$@0@g22@6@0@1@g22$@0#ftell
-^192 273$@0@@1@tp0$@0#rewind
-^193 275$@0@@1@tp0$@0#clearerr
-^194 277$@0@g22@6@0@1@g22$@0#feof
-^195 279$@0@g22@6@0@1@g22$@0#ferror
-^196 281$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
-^197 283$^$@0#atof
-^198 285$^$@0#atoi
-^199 287$^$@0#atol
-^200 291$@0@g22@6@0@1@tp1,g22$@0#strtod
-^201 293$@0@g22@6@0@1@tp1,g22$@0#strtol
-^202 295$@0@g22@6@0@1@tp1,g22$@0#strtoul
+^172 229$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
+^173 231$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^175 235$@0@@1@p0$@0#vsnprintf
+^176 237$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^177 240@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^178 243$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^179 245$@0@s3@1@s3,tp1$@0#fputs
+^180 247$@0@s3@1@s3,tp0$@0#getc
+^181 249$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
+^182 252@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
+^183 254$@0@s3@1@s3,tp1$@0#putc
+^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
+^185 258$@1@g18@6@0,s3@1@s3,tg18$@0#puts
+^186 260$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^187 262$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^188 264$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^189 267$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^190 269$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^191 271$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^192 273$@0@g22@6@0@1@g22$@0#ftell
+^193 275$@0@@1@tp0$@0#rewind
+^194 277$@0@@1@tp0$@0#clearerr
+^195 279$@0@g22@6@0@1@g22$@0#feof
+^196 281$@0@g22@6@0@1@g22$@0#ferror
+^197 283$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^198 285$^$@0#atof
+^199 287$^$@0#atoi
+^200 289$^$@0#atol
+^201 293$@0@g22@6@0@1@tp1,g22$@0#strtod
+^202 295$@0@g22@6@0@1@tp1,g22$@0#strtol
+^203 297$@0@g22@6@0@1@tp1,g22$@0#strtoul
 *1 (Constant)
-^203 5$#RAND_MAX
+^204 5$#RAND_MAX
 *4 (Function)
-^204 297$@0@s1@1@s1$@0#rand
-^205 299$@0@s1@1@s1$@0#srand
-^206 302@6@5@1@0@0^@2@0@0#calloc
-^207 305@4@5@1@0@0^@2@0@0#malloc
-^208 308@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
-^209 310$@0@@1@tp0$@0#free
+^205 299$@0@s1@1@s1$@0#rand
+^206 301$@0@s1@1@s1$@0#srand
+^207 304@6@5@1@0@0^@2@0@0#calloc
+^208 307@4@5@1@0@0^@2@0@0#malloc
+^209 310@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^210 312$@0@@1@p0$@0#free
 *1 (Constant)
-^210 5$#EXIT_FAILURE#EXIT_SUCCESS
+^211 5$#EXIT_FAILURE#EXIT_SUCCESS
 *4 (Function)
-^212 312@6@0@6@0@0^$@0#abort
-^213 314@6@0@6@0@0^$@0#exit
-^214 320$@0@s1@1@s1$@0#atexit
-^215 323@6@5@1@0@0^@19@3@0#getenv
-^216 325$@0@s3@1@s3$@0#system
-^217 332@6@5@1@0@0^@18@0@0#bsearch
-^218 338$@0@g22@6@0@1@tp0,g22$@0#qsort
-^219 340$^$@0#abs
+^213 314@6@0@6@0@0^$@0#abort
+^214 316@6@0@6@0@0^$@0#exit
+^215 322$@0@s1@1@s1$@0#atexit
+^216 325@6@5@1@0@0^@19@3@0#getenv
+^217 327$@0@s3@1@s3$@0#system
+^218 334@6@5@1@0@0^@18@0@0#bsearch
+^219 340$@0@g22@6@0@1@tp0,g22$@0#qsort
+^220 342$^$@0#abs
 *7 (Struct tag)
-^220 341@342#@!2
+^221 343@344#@!2
 *0 (Datatype)
-^221 341@-@-@0@0@0@0@343#div_t
+^222 343@-@-@0@0@0@0@345#div_t
 *4 (Function)
-^222 345$^$@0#div
-^223 347$^$@0#labs
+^223 347$^$@0#div
+^224 349$^$@0#labs
 *7 (Struct tag)
-^224 348@349#@!3
+^225 350@351#@!3
 *0 (Datatype)
-^225 348@-@-@0@0@0@0@350#ldiv_t
+^226 350@-@-@0@0@0@0@352#ldiv_t
 *4 (Function)
-^226 352$^$@0#ldiv
+^227 354$^$@0#ldiv
 *1 (Constant)
-^227 63$#MB_CUR_MAX
-^228 5$#WCHAR_MAX#WCHAR_MIN
-^230 66$#WEOF
+^228 63$#MB_CUR_MAX
+^229 5$#WCHAR_MAX#WCHAR_MIN
+^231 66$#WEOF
 *4 (Function)
-^231 354$^$@0#btowc
-^232 356$@0@s3@1@s3,tp0$@0#fgetwc
-^233 360@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
-^234 362$@0@s3@1@s3,tp1$@0#fputwc
-^235 364$@0@s3@1@s3,tp1$@0#fputws
-^236 366$^$@0#fwide
-^237 368@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
-^238 370@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
-^239 372$@0@s3@1@s3,tp0$@0#getwc
-^240 374$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
-^241 377$^$@0#mbrlen
-^242 379$@0@@1@tp0$@0#mbrtowc
-^243 381$^$@0#mbsinit
-^244 383$@0@@1@tp0$@0#mbsrtowcs
-^245 385$@0@s3@1@s3,tp1$@0#putwc
-^246 387$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
-^247 389@6@0@1@1@0@0@@1@tp0$@0#swprintf
-^248 391@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
-^249 393$@0@s3@1@s3,tp1$@0#ungetwc
-^250 395$@0@s3@1@s3,tp0$@0#vfwprintf
-^251 397$@0@@1@tp0$@0#vswprintf
-^252 399$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
-^253 401$@0@@1@tp0$@0#wcrtomb
-^254 405$@0@@1@tp0$@0#wcscat
-^255 408@6@5@1@0@0^@19@2@0#wcschr
-^256 410$^$@0#wcscmp
-^257 412$^$@0#wcscoll
-^258 415$@0@@1@tp0$@0#wcscpy
-^259 417$^$@0#wcscspn
+^232 356$^$@0#btowc
+^233 358$@0@s3@1@s3,tp0$@0#fgetwc
+^234 362@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^235 364$@0@s3@1@s3,tp1$@0#fputwc
+^236 366$@0@s3@1@s3,tp1$@0#fputws
+^237 368$^$@0#fwide
+^238 370@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^239 372@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^240 374$@0@s3@1@s3,tp0$@0#getwc
+^241 376$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
+^242 379$^$@0#mbrlen
+^243 381$@0@@1@tp0$@0#mbrtowc
+^244 383$^$@0#mbsinit
+^245 385$@0@@1@tp0$@0#mbsrtowcs
+^246 387$@0@s3@1@s3,tp1$@0#putwc
+^247 389$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
+^248 391@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^249 393@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
+^250 395$@0@s3@1@s3,tp1$@0#ungetwc
+^251 397$@0@s3@1@s3,tp0$@0#vfwprintf
+^252 399$@0@@1@tp0$@0#vswprintf
+^253 401$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
+^254 403$@0@@1@tp0$@0#wcrtomb
+^255 407$@0@@1@tp0$@0#wcscat
+^256 410@6@5@1@0@0^@19@2@0#wcschr
+^257 412$^$@0#wcscmp
+^258 414$^$@0#wcscoll
+^259 417$@0@@1@tp0$@0#wcscpy
+^260 419$^$@0#wcscspn
 *7 (Struct tag)
-^260 587@418#@tm
+^261 589@420#@tm
 *4 (Function)
-^261 421$@0@@1@tp0$@0#wcsftime
-^262 423$^$@0#wcslen
-^263 427$@0@@1@tp0$@0#wcsncat
-^264 429$^$@0#wcsncmp
-^265 432$@0@@1@tp0$@0#wcsncpy
-^266 435@6@5@1@0@0^$@0#wcspbrk
-^267 438@6@5@1@0@0^$@0#wcsrchr
-^268 441$@0@@1@tp1$@0#wcsrtombs
-^269 443$^$@0#wcsspn
-^270 446@6@5@1@0@0^@3@0@0#wcsstr
-^271 448$@0@@1@tp1$@0#wcstod
-^272 451@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
-^273 453$@0@@1@tp1$@0#wcstol
-^274 455$@0@@1@tp1$@0#wcstoul
-^275 457$@0@@1@tp0$@0#wcsxfrm
-^276 459$^$@0#wctob
-^277 462@6@5@1@0@0^@3@0@0#wmemchr
-^278 464$^$@0#wmemcmp
-^279 467$@0@@1@tp0$@0#wmemcpy
-^280 470$@0@@1@tp0$@0#wmemmove
-^281 473$@0@@1@tp0$@0#wmemset
-^282 475@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
-^283 477@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
+^262 423$@0@@1@tp0$@0#wcsftime
+^263 425$^$@0#wcslen
+^264 429$@0@@1@tp0$@0#wcsncat
+^265 431$^$@0#wcsncmp
+^266 434$@0@@1@tp0$@0#wcsncpy
+^267 437@6@5@1@0@0^$@0#wcspbrk
+^268 440@6@5@1@0@0^$@0#wcsrchr
+^269 443$@0@@1@tp1$@0#wcsrtombs
+^270 445$^$@0#wcsspn
+^271 448@6@5@1@0@0^@3@0@0#wcsstr
+^272 450$@0@@1@tp1$@0#wcstod
+^273 453@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^274 455$@0@@1@tp1$@0#wcstol
+^275 457$@0@@1@tp1$@0#wcstoul
+^276 459$@0@@1@tp0$@0#wcsxfrm
+^277 461$^$@0#wctob
+^278 464@6@5@1@0@0^@3@0@0#wmemchr
+^279 466$^$@0#wmemcmp
+^280 469$@0@@1@tp0$@0#wmemcpy
+^281 472$@0@@1@tp0$@0#wmemmove
+^282 475$@0@@1@tp0$@0#wmemset
+^283 477@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
+^284 479@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
 *0 (Datatype)
-^284 13@-@-@0@0@0@0@478#wctype_t
-^285 13@-@-@0@0@0@0@479#wctrans_t
+^285 13@-@-@0@0@0@0@480#wctype_t
+^286 13@-@-@0@0@0@0@481#wctrans_t
 *4 (Function)
-^286 481$^$@0#iswalnum
-^287 483$^$@0#iswalpha
-^288 485$^$@0#iswcntrl
-^289 487$^$@0#iswctype
-^290 489$^$@0#iswdigit
-^291 491$^$@0#iswgraph
-^292 493$^$@0#iswlower
-^293 495$^$@0#iswprint
-^294 497$^$@0#iswpunct
-^295 499$^$@0#iswspace
-^296 501$^$@0#iswupper
-^297 503$^$@0#iswxdigit
-^298 505$^$@0#towctrans
-^299 507$^$@0#towlower
-^300 509$^$@0#towupper
-^301 511$^$@0#wctrans
-^302 513$^$@0#wctype
-^303 515$^$@0#mblen
-^304 517$@0@@1@tp0$@0#mbtowc
-^305 519$@0@@1@tp0$@0#wctomb
-^306 521$@0@@1@tp0$@0#mbstowcs
-^307 523$@0@@1@tp0$@0#wcstombs
-^308 527$@0@@1@tp0$@0#memcpy
-^309 530$@0@@1@tp0$@0#memmove
-^310 534$@0@@1@tp0$@0#strcpy
-^311 537$@0@@1@tp0$@0#strncpy
-^312 540$@0@@1@tp0$@0#strcat
-^313 543$@0@@1@tp0$@0#strncat
-^314 545$^$@0#memcmp
-^315 547$^$@0#strcmp
-^316 549$^$@0#strcoll
-^317 551$^$@0#strncmp
-^318 553$@0@@1@tp0$@0#strxfrm
-^319 556@6@5@1@0@0^@3@0@0#memchr
-^320 559@6@5@1@0@0^@19@2@0#strchr
-^321 561$^$@0#strcspn
-^322 564@6@5@1@0@0^@19@2@0#strpbrk
-^323 567@6@5@1@0@0^@19@2@0#strrchr
-^324 569$^$@0#strspn
-^325 572@6@5@1@0@0^@19@2@0#strstr
-^326 575@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
-^327 579$@0@@1@tp0$@0#memset
-^328 582$^@19@3@0#strerror
-^329 584$^$@0#strlen
+^287 483$^$@0#iswalnum
+^288 485$^$@0#iswalpha
+^289 487$^$@0#iswcntrl
+^290 489$^$@0#iswctype
+^291 491$^$@0#iswdigit
+^292 493$^$@0#iswgraph
+^293 495$^$@0#iswlower
+^294 497$^$@0#iswprint
+^295 499$^$@0#iswpunct
+^296 501$^$@0#iswspace
+^297 503$^$@0#iswupper
+^298 505$^$@0#iswxdigit
+^299 507$^$@0#towctrans
+^300 509$^$@0#towlower
+^301 511$^$@0#towupper
+^302 513$^$@0#wctrans
+^303 515$^$@0#wctype
+^304 517$^$@0#mblen
+^305 519$@0@@1@tp0$@0#mbtowc
+^306 521$@0@@1@tp0$@0#wctomb
+^307 523$@0@@1@tp0$@0#mbstowcs
+^308 525$@0@@1@tp0$@0#wcstombs
+^309 529$@0@@1@tp0$@0#memcpy
+^310 532$@0@@1@tp0$@0#memmove
+^311 536$@0@@1@tp0$@0#strcpy
+^312 539$@0@@1@tp0$@0#strncpy
+^313 542$@0@@1@tp0$@0#strcat
+^314 545$@0@@1@tp0$@0#strncat
+^315 547$^$@0#memcmp
+^316 549$^$@0#strcmp
+^317 551$^$@0#strcoll
+^318 553$^$@0#strncmp
+^319 555$@0@@1@tp0$@0#strxfrm
+^320 558@6@5@1@0@0^@3@0@0#memchr
+^321 561@6@5@1@0@0^@19@2@0#strchr
+^322 563$^$@0#strcspn
+^323 566@6@5@1@0@0^@19@2@0#strpbrk
+^324 569@6@5@1@0@0^@19@2@0#strrchr
+^325 571$^$@0#strspn
+^326 574@6@5@1@0@0^@19@2@0#strstr
+^327 577@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
+^328 581$@0@@1@tp0$@0#memset
+^329 584$^@19@3@0#strerror
+^330 586$^$@0#strlen
 *1 (Constant)
-^330 5$#CLOCKS_PER_SEC
+^331 5$#CLOCKS_PER_SEC
 *0 (Datatype)
-^331 13@-@-@0@0@0@0@585#clock_t
-^332 13@-@-@0@0@0@0@586#time_t
+^332 13@-@-@0@0@0@0@587#clock_t
+^333 13@-@-@0@0@0@0@588#time_t
 *4 (Function)
-^333 589$@0@s1@1@s1$@0#clock
-^334 591$^$@0#difftime
-^335 593$^$@0#mktime
-^336 596$@0@@1@tp0$@0#time
-^337 599$@0@g22@6@0@1@g22@19@3@0#asctime
-^338 602$^@19@3@0#ctime
-^339 605@6@5@1@0@0^@19@3@0#gmtime
-^340 608@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
-^341 610$@0@@1@tp0$@0#strftime
+^334 591$@0@s1@1@s1$@0#clock
+^335 593$^$@0#difftime
+^336 595$^$@0#mktime
+^337 598$@0@@1@tp0$@0#time
+^338 601$@0@g22@6@0@1@g22@19@3@0#asctime
+^339 604$^@19@3@0#ctime
+^340 607@6@5@1@0@0^@19@3@0#gmtime
+^341 610@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
+^342 612$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@613#int8_t
+^344 13@-@-@0@0@0@0@614#int16_t
+^345 13@-@-@0@0@0@0@615#int32_t
+^346 13@-@-@0@0@0@0@616#int64_t
+^347 14@-@-@0@0@0@0@617#uint8_t
+^348 14@-@-@0@0@0@0@618#uint16_t
+^349 14@-@-@0@0@0@0@619#uint32_t
+^350 14@-@-@0@0@0@0@620#uint64_t
+^351 13@-@-@0@0@0@0@621#int_least8_t
+^352 13@-@-@0@0@0@0@622#int_least16_t
+^353 13@-@-@0@0@0@0@623#int_least32_t
+^354 13@-@-@0@0@0@0@624#int_least64_t
+^355 14@-@-@0@0@0@0@625#uint_least8_t
+^356 14@-@-@0@0@0@0@626#uint_least16_t
+^357 14@-@-@0@0@0@0@627#uint_least32_t
+^358 14@-@-@0@0@0@0@628#uint_least64_t
+^359 13@-@-@0@0@0@0@629#int_fast8_t
+^360 13@-@-@0@0@0@0@630#int_fast16_t
+^361 13@-@-@0@0@0@0@631#int_fast32_t
+^362 13@-@-@0@0@0@0@632#int_fast64_t
+^363 14@-@-@0@0@0@0@633#uint_fast8_t
+^364 14@-@-@0@0@0@0@634#uint_fast16_t
+^365 14@-@-@0@0@0@0@635#uint_fast32_t
+^366 14@-@-@0@0@0@0@636#uint_fast64_t
+^367 24@-@+@0@0@0@0@637#intptr_t
+^368 25@-@+@0@0@0@0@638#uintptr_t
+^369 15@-@-@0@0@0@0@639#intmax_t
+^370 14@-@-@0@0@0@0@640#uintmax_t
+*1 (Constant)
+^371 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
+^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
+vsnprintf
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 1
+;; end precondition constraints
+post:EMPTY
 fgets
 pre:
 C
@@ -1108,9 +1187,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1120,9 +1206,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 memmove
@@ -1136,9 +1229,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1148,9 +1248,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 strcpy
@@ -1347,7 +1454,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1