]> andersk Git - splint.git/blobdiff - test/null6.lcd
Put instruction files from web site into CVS development directory.
[splint.git] / test / null6.lcd
index 4500fdb466289cf386cecd9bc78cf61a771ea5c4..a97d281d12a33376eb465b7e526bbe976793f639 100644 (file)
@@ -1,6 +1,6 @@
-;;LCLint Dump: null6.lcd
-;;LCLint 2.5q --- 20 May 2000
-;;lib:166
+;;; Splint Library  null6.lcd
+;;Splint 3.0.1.6 --- 11 Feb 2002
+;;lib:299
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
 0 p16|-2 35 54
 0 p17|-2 36 55
 0 p18|-2 37 56
-1 t0|0 311 -1
+1 t0|0 315 -1
 1 t1|1&
 1 t2|2&
 1 t3|3&
-1 t4|4 312 -1
+1 t4|4 316 -1
 1 t5|5&
 1 t6|6&
 1 t7|7&
 2 y17|17&
 2 y18|18&
 -2 ?!
-0 a2|&
-0 s3|&
-0 s4|&
-0 s5|&
-0 s6|&
-0 s15|&
-0 s16|&
-0 s7|-1 380 -1
-0 s8|&
-0 a0|-1 398 -1
+0 a0|&
+0 s10|&
+0 s11|&
+0 s12|&
+0 s25|&
+0 s26|&
+0 s27|&
+0 s28|-1 384 -1
+0 s29|&
+0 a30|-1 402 -1
 3 C0.5/20|!
+3 C0.68/2|!
 3 C0.2/5|!
-3 f0 (69|@7|$#,)!
-3 f1 (69|@7|$#,)!
-3 C0.5/3|!
-3 f0 (72|$#,)!
-3 f2 (72|$#,)!
-3 f69 (72|$#,)!
-3 f0 (72|$#,)!
-3 f2 (72|$#,)!
-3 f69 (72|$#,)!
-3 f0 (72|$#,)!
-3 f2 (72|$#,)!
-3 f69 (72|$#,)!
-3 f0 (72|$#,)!
-3 f2 (72|$#,)!
-3 f69 (72|$#,)!
-3 f0 (72|$#,)!
-3 f2 (72|$#,)!
+3 f0 (70|@7|$#,)!
+3 f1 (70|@7|$#,)!
+3 C0.4/3|!
+3 C0.5/73|!
+3 f0 (74|$#,)!
+3 f2 (74|$#,)!
+3 f70 (74|$#,)!
+3 f0 (74|$#,)!
+3 f2 (74|$#,)!
+3 f70 (74|$#,)!
+3 f0 (74|$#,)!
+3 f2 (74|$#,)!
+3 f70 (74|$#,)!
+3 f0 (74|$#,)!
+3 f2 (74|$#,)!
+3 f70 (74|$#,)!
 3 C0.2/5|!
-3 f87 (72|$#,)!
-3 C0.5/3|!
-3 f0 (89|$#,)!
-3 f2 (89|$#,)!
-3 f87 (89|$#,)!
-3 f0 (89|$#,)!
-3 f2 (89|$#,)!
-3 f87 (89|$#,)!
-3 f0 (89|$#,)!
-3 f2 (89|$#,)!
-3 f87 (89|$#,)!
-3 f0 (89|$#,)!
-3 f2 (89|$#,)!
-3 f87 (89|$#,)!
-3 f0 (89|$#,)!
-3 f2 (89|$#,)!
+3 f0 (74|$#,)!
+3 f2 (74|$#,)!
+3 f87 (74|$#,)!
+3 C0.5/73|!
+3 f0 (91|$#,)!
+3 f2 (91|$#,)!
+3 f87 (91|$#,)!
+3 f0 (91|$#,)!
+3 f2 (91|$#,)!
+3 f87 (91|$#,)!
+3 f0 (91|$#,)!
+3 f2 (91|$#,)!
+3 f87 (91|$#,)!
+3 f0 (91|$#,)!
+3 f2 (91|$#,)!
+3 f87 (91|$#,)!
 3 C0.2/5|!
-3 f104 (89|$#,)!
-3 C0.5/3|!
-3 f0 (106|$#,)!
-3 f2 (106|$#,)!
-3 f104 (106|$#,)!
+3 f0 (91|$#,)!
+3 f2 (91|$#,)!
+3 f104 (91|$#,)!
+3 C0.5/73|!
+3 f0 (108|$#,)!
+3 f2 (108|$#,)!
+3 f104 (108|$#,)!
 3 C0.4/5|!
-3 f0 (106|$#,)!
-3 f4 (106|$#,)!
-3 f110 (106|$#,)!
-3 f0 (106|$#,)!
-3 f4 (106|$#,)!
-3 f110 (106|$#,)!
+3 f0 (108|$#,)!
+3 f4 (108|$#,)!
+3 f112 (108|$#,)!
+3 f0 (108|$#,)!
+3 f4 (108|$#,)!
+3 f112 (108|$#,)!
 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,}!
-0 s342|-1 124 -1
+0 s47|-1 126 -1
 3 f0 (5|$#,23|0@5@7&#,)!
 3 f19 (5|$#,23|0@5@7&#,)!
 3 f23 (5|$#,23|0@5@7&#,)!
 3 f0 ()!
 3 f19 ()!
-1 t118|118&
-3 f124 ()!
+1 t120|120&
+3 f126 ()!
 3 f0 (17|$#,)!
 3 f17 (17|$#,)!
 3 f0 (17|$#,)!
 3 f17 (17|$#,36|4@0@7&#,)!
 3 f0 (17|$#,17|$#,)!
 3 f17 (17|$#,17|$#,)!
-0 a17|&
-3 f0 (170|4@0@7&#,)!
-3 f5 (170|4@0@7&#,)!
-3 f0 (170|$#,5|$#,)!
-3 f1 (170|$#,5|$#,)!
-0 s9|&
+0 a125|&
+3 f0 (172|4@0@7&#,)!
+3 f5 (172|4@0@7&#,)!
+3 f0 (172|$#,5|$#,)!
+3 f1 (172|$#,5|$#,)!
+0 s134|&
 3 ?!
-3 f176 (5|$#,)!
-3 f1 (5|$#,)^179
-1 t178|178&
+3 f178 (5|$#,)!
+3 f1 (5|$#,)^181
+1 t180|180&
 3 ?!
-3 f180 (5|$#,)!
-3 f1 (5|$#,)^183
-1 t182|182&
+3 f182 (5|$#,)!
+3 f1 (5|$#,)^185
+1 t184|184&
 3 ?!
-3 f184 (5|$#,)!
-3 f1 (5|$#,)^187
-1 t186|186&
+3 f186 (5|$#,)!
+3 f1 (5|$#,)^189
+1 t188|188&
 3 ?!
-3 f188 (5|$#,)!
-3 f1 (5|$#,)^191
-1 t190|190&
-3 f0 (5|$#,191|0@5@7&#,)!
-3 f19 (5|$#,191|0@5@7&#,)^194
-1 t193|193&
+3 f190 (5|$#,)!
+3 f1 (5|$#,)^193
+1 t192|192&
+3 f0 (5|$#,193|0@5@7&#,)!
+3 f19 (5|$#,193|0@5@7&#,)^196
+1 t195|195&
 3 ?!
-3 f195 (5|$#,)!
+3 f197 (5|$#,)!
 3 f19 (5|$#,)!
-3 f1 (5|$#,191|0@5@7&#,)!
+3 f1 (5|$#,193|0@5@7&#,)!
 3 f1 (5|$#,)!
-3 f199 (5|$#,191|0@5@7&#,)!
+3 f201 (5|$#,193|0@5@7&#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
-0 a18|&
-3 f0 (203|4@0@7&#,!.,)!
-3 f1 (203|4@0@7&#,!.,)!
-3 f0 (203|$#,)!
-3 f1 (203|$#,)!
-0 a19|-1 210 -1
-0 a20|-1 286 -1
-1 t208|208&
+0 a140|&
+3 f0 (205|4@0@7&#,!.,)!
+3 f1 (205|4@0@7&#,!.,)!
+3 f0 (205|$#,)!
+3 f1 (205|$#,)!
+0 a143|-1 212 -1
+0 a144|-1 290 -1
+1 t210|210&
 3 f0 (23|$#,)!
 3 f5 (23|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f5 (23|$#,23|$#,)!
 3 f0 ()!
 3 f19 ()!
-3 f210 ()!
+3 f212 ()!
 3 f0 (23|@5|4@5@7&#,)!
 3 f19 (23|@5|4@5@7&#,)!
 3 f23 (23|@5|4@5@7&#,)!
-3 f0 (210|$#,)!
-3 f5 (210|$#,)!
-3 f0 (210|0@5@7&#,)!
-3 f5 (210|0@5@7&#,)!
+3 f0 (212|$#,)!
+3 f5 (212|$#,)!
+3 f0 (212|0@5@7&#,)!
+3 f5 (212|0@5@7&#,)!
 3 f0 (23|$#,23|$#,)!
 3 f19 (23|$#,23|$#,)!
-3 f210 (23|$#,23|$#,)!
-3 f0 (23|$#,23|$#,210|$#,)!
-3 f19 (23|$#,23|$#,210|$#,)!
-3 f210 (23|$#,23|$#,210|$#,)!
-3 f0 (210|$#,23|0@5@19@2@0#,)!
-3 f1 (210|$#,23|0@5@19@2@0#,)!
-3 f0 (210|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
-3 f5 (210|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
+3 f212 (23|$#,23|$#,)!
+3 f0 (23|$#,23|$#,212|$#,)!
+3 f19 (23|$#,23|$#,212|$#,)!
+3 f212 (23|$#,23|$#,212|$#,)!
+3 f0 (212|$#,23|4@5@19@2@0#,)!
+3 f1 (212|$#,23|4@5@19@2@0#,)!
+3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
+3 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
 3 C0.5/1|!
-3 f0 (210|$#,23|$#,!.,)!
-3 f5 (210|$#,23|$#,!.,)!
-3 f235 (210|$#,23|$#,!.,)!
-3 f0 (210|$#,23|$#,!.,)!
-3 f5 (210|$#,23|$#,!.,)!
+3 f0 (212|$#,23|$#,!.,)!
+3 f5 (212|$#,23|$#,!.,)!
+3 f237 (212|$#,23|$#,!.,)!
+3 f0 (212|$#,23|$#,!.,)!
+3 f5 (212|$#,23|$#,!.,)!
 3 f0 (23|$#,!.,)!
 3 f5 (23|$#,!.,)!
-3 f235 (23|$#,!.,)!
+3 f237 (23|$#,!.,)!
 3 f0 (23|$#,!.,)!
 3 f5 (23|$#,!.,)!
 3 f0 (23|4@0@7&#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f235 (23|4@0@7&#,23|$#,!.,)!
+3 f237 (23|4@0@7&#,23|$#,!.,)!
 3 f0 (23|4@0@7&#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (210|$#,23|$#,203|$#,)!
-3 f5 (210|$#,23|$#,203|$#,)!
-3 f0 (23|$#,203|$#,)!
-3 f5 (23|$#,203|$#,)!
-3 f0 (23|4@0@7&#,23|$#,203|$#,)!
-3 f5 (23|4@0@7&#,23|$#,203|$#,)!
-3 f0 (210|$#,)!
-3 f5 (210|$#,)!
-3 f0 (23|@5|4@0@7&#,5|$#,210|$#,)!
-3 f19 (23|@5|4@0@7&#,5|$#,210|$#,)!
-3 f23 (23|@5|4@0@7&#,5|$#,210|$#,)!
+3 f0 (23|$#,205|$#,)!
+3 f5 (23|$#,205|$#,)!
+3 f0 (212|$#,23|$#,205|$#,)!
+3 f5 (212|$#,23|$#,205|$#,)!
+3 f0 (23|4@0@7&#,23|$#,205|$#,)!
+3 f5 (23|4@0@7&#,23|$#,205|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
+3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
+3 f0 (212|$#,)!
+3 f5 (212|$#,)!
+3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
+3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
+3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
 3 C0.5/4|!
-3 f0 (262|$#,210|$#,)!
-3 f5 (262|$#,210|$#,)!
-3 f0 (23|$#,210|$#,)!
-3 f5 (23|$#,210|$#,)!
-3 f0 (210|@7|$#,)!
-3 f5 (210|@7|$#,)!
+3 f0 (266|$#,212|$#,)!
+3 f5 (266|$#,212|$#,)!
+3 f0 (23|$#,212|$#,)!
+3 f5 (23|$#,212|$#,)!
+3 f0 (212|@7|$#,)!
+3 f5 (212|@7|$#,)!
 3 f0 ()!
 3 f5 ()!
 3 f0 (23|4@0@7&#,)!
 3 f19 (23|4@0@7&#,)!
 3 f23 (23|4@0@7&#,)!
-3 f0 (262|$#,210|@7|$#,)!
-3 f5 (262|$#,210|@7|$#,)!
-3 f0 (262|$#,)!
-3 f5 (262|$#,)!
+3 f0 (266|$#,212|@7|$#,)!
+3 f5 (266|$#,212|@7|$#,)!
+3 f0 (266|$#,)!
+3 f5 (266|$#,)!
 3 f0 (23|$#,)!
 3 f5 (23|$#,)!
-3 f0 (262|$#,210|$#,)!
-3 f5 (262|$#,210|$#,)!
-3 f0 (20|4@0@7&#,63|$#,63|$#,210|$#,)!
-3 f63 (20|4@0@7&#,63|$#,63|$#,210|$#,)!
-3 f0 (20|$#,63|$#,63|$#,210|$#,)!
-3 f63 (20|$#,63|$#,63|$#,210|$#,)!
-1 t209|209&
-3 f0 (210|$#,286|4@0@7&#,)!
-3 f5 (210|$#,286|4@0@7&#,)!
-3 f0 (210|$#,9|$#,5|$#,)!
-3 f5 (210|$#,9|$#,5|$#,)!
-3 f0 (210|$#,286|$#,)!
-3 f5 (210|$#,286|$#,)!
-3 f0 (210|$#,)!
-3 f9 (210|$#,)!
-3 f0 (210|$#,)!
-3 f1 (210|$#,)!
-3 f0 (210|$#,)!
-3 f1 (210|$#,)!
-3 f0 (210|$#,)!
-3 f5 (210|$#,)!
-3 f0 (210|$#,)!
-3 f5 (210|$#,)!
+3 f0 (266|$#,212|$#,)!
+3 f5 (266|$#,212|$#,)!
+3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
+3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
+3 f0 (20|$#,63|$#,63|$#,212|$#,)!
+3 f63 (20|$#,63|$#,63|$#,212|$#,)!
+1 t211|211&
+3 f0 (212|$#,290|4@0@7&#,)!
+3 f5 (212|$#,290|4@0@7&#,)!
+3 f0 (212|$#,9|$#,5|$#,)!
+3 f5 (212|$#,9|$#,5|$#,)!
+3 f0 (212|$#,290|$#,)!
+3 f5 (212|$#,290|$#,)!
+3 f0 (212|$#,)!
+3 f9 (212|$#,)!
+3 f0 (212|$#,)!
+3 f1 (212|$#,)!
+3 f0 (212|$#,)!
+3 f1 (212|$#,)!
+3 f0 (212|$#,)!
+3 f5 (212|$#,)!
+3 f0 (212|$#,)!
+3 f5 (212|$#,)!
 3 f0 (23|0@5@7&#,)!
 3 f1 (23|0@5@7&#,)!
 3 f0 (23|$#,)!
 3 f9 (23|$#,)!
 1 t19|19&
 1 t23|23&
-3 f0 (23|$#,312|4@5@7&#,)!
-3 f17 (23|$#,312|4@5@7&#,)!
-3 f0 (23|$#,312|4@5@7&#,5|$#,)!
-3 f9 (23|$#,312|4@5@7&#,5|$#,)!
-3 f0 (23|$#,312|4@5@7&#,5|$#,)!
-3 f10 (23|$#,312|4@5@7&#,5|$#,)!
+3 f0 (23|$#,316|4@5@7&#,)!
+3 f17 (23|$#,316|4@5@7&#,)!
+3 f0 (23|$#,316|4@5@7&#,5|$#,)!
+3 f9 (23|$#,316|4@5@7&#,5|$#,)!
+3 f0 (23|$#,316|4@5@7&#,5|$#,)!
+3 f10 (23|$#,316|4@5@7&#,5|$#,)!
 3 f0 ()!
 3 f5 ()!
 3 f0 (6|$#,)!
 3 f0 (5|$#,)!
 3 f1 (5|$#,)!
 3 ?!
-3 f338 ()!
-3 f1 ()^341
-1 t340|340&
-3 f0 (341|$#,)!
-3 f5 (341|$#,)!
+3 f342 ()!
+3 f1 ()^345
+1 t344|344&
+3 f0 (345|$#,)!
+3 f5 (345|$#,)!
 3 f0 (23|$#,)!
 3 f19 (23|$#,)!
 3 f23 (23|$#,)!
 3 f0 (23|0@5@7&#,)!
 3 f5 (23|0@5@7&#,)!
 3 ?!
-3 f349 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^352
-1 t351|351&
-3 f0 (20|$#,20|$#,63|$#,63|$#,352|$#,)!
-3 f19 (20|$#,20|$#,63|$#,63|$#,352|$#,)!
-3 f20 (20|$#,20|$#,63|$#,63|$#,352|$#,)!
+3 f353 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^356
+1 t355|355&
+3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
+3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
+3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
 3 ?!
-3 f356 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^359
-1 t358|358&
-3 f0 (20|$#,63|$#,63|$#,359|$#,)!
-3 f1 (20|$#,63|$#,63|$#,359|$#,)!
+3 f360 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^363
+1 t362|362&
+3 f0 (20|$#,63|$#,63|$#,363|$#,)!
+3 f1 (20|$#,63|$#,63|$#,363|$#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
 3 S!2{5|@1|$#quot,5|@1|$#rem,}!
-0 s339|&
-0 s21|&
+0 s223|&
+0 s224|&
 3 f0 (5|$#,5|$#,)!
-3 f366 (5|$#,5|$#,)!
+3 f370 (5|$#,5|$#,)!
 3 f0 (9|$#,)!
 3 f9 (9|$#,)!
 3 S!3{9|@1|$#quot,9|@1|$#rem,}!
-0 s340|&
-0 s22|&
+0 s227|&
+0 s228|&
 3 f0 (9|$#,9|$#,)!
-3 f373 (9|$#,9|$#,)!
+3 f377 (9|$#,9|$#,)!
 3 f0 (5|$#,)!
 3 f66 (5|$#,)!
-3 f0 (210|$#,)!
-3 f66 (210|$#,)!
-1 t65|65 462 -1
-3 f0 (380|@5|$#,5|$#,210|$#,)!
-3 f19 (380|@5|$#,5|$#,210|$#,)!
-3 f380 (380|@5|$#,5|$#,210|$#,)!
-3 f0 (65|$#,210|$#,)!
-3 f66 (65|$#,210|$#,)!
-3 f0 (380|$#,210|$#,)!
-3 f5 (380|$#,210|$#,)!
-3 f0 (210|$#,5|$#,)!
-3 f5 (210|$#,5|$#,)!
-3 f0 (210|$#,380|$#,!.,)!
-3 f5 (210|$#,380|$#,!.,)!
-3 f0 (210|$#,380|$#,!.,)!
-3 f5 (210|$#,380|$#,!.,)!
-3 f0 (210|@7|$#,)!
-3 f66 (210|@7|$#,)!
+3 f0 (212|$#,)!
+3 f66 (212|$#,)!
+1 t65|65 466 -1
+3 f0 (384|@5|$#,5|$#,212|$#,)!
+3 f19 (384|@5|$#,5|$#,212|$#,)!
+3 f384 (384|@5|$#,5|$#,212|$#,)!
+3 f0 (65|$#,212|$#,)!
+3 f66 (65|$#,212|$#,)!
+3 f0 (384|$#,212|$#,)!
+3 f5 (384|$#,212|$#,)!
+3 f0 (212|$#,5|$#,)!
+3 f5 (212|$#,5|$#,)!
+3 f0 (212|$#,384|$#,!.,)!
+3 f5 (212|$#,384|$#,!.,)!
+3 f0 (212|$#,384|$#,!.,)!
+3 f5 (212|$#,384|$#,!.,)!
+3 f0 (212|@7|$#,)!
+3 f66 (212|@7|$#,)!
 3 f0 ()!
 3 f66 ()!
 1 t67|67&
-3 f0 (23|$#,63|$#,398|0@5@7&#,)!
-3 f63 (23|$#,63|$#,398|0@5@7&#,)!
-3 f0 (380|0@5@7&#,23|$#,63|$#,398|0@5@7&#,)!
-3 f63 (380|0@5@7&#,23|$#,63|$#,398|0@5@7&#,)!
-3 f0 (398|0@5@7&#,)!
-3 f5 (398|0@5@7&#,)!
-3 f0 (380|0@5@7&#,312|$#,63|$#,398|0@5@7&#,)!
-3 f63 (380|0@5@7&#,312|$#,63|$#,398|0@5@7&#,)!
-3 f0 (65|$#,210|@7|$#,)!
-3 f66 (65|$#,210|@7|$#,)!
+3 f0 (23|$#,63|$#,402|0@5@7&#,)!
+3 f63 (23|$#,63|$#,402|0@5@7&#,)!
+3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
+3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
+3 f0 (402|0@5@7&#,)!
+3 f5 (402|0@5@7&#,)!
+3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
+3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
+3 f0 (65|$#,212|@7|$#,)!
+3 f66 (65|$#,212|@7|$#,)!
 3 f0 (65|$#,)!
 3 f66 (65|$#,)!
-3 f0 (380|$#,63|$#,380|$#,!.,)!
-3 f5 (380|$#,63|$#,380|$#,!.,)!
-3 f0 (380|$#,380|$#,!.,)!
-3 f5 (380|$#,380|$#,!.,)!
-3 f0 (66|$#,210|$#,)!
-3 f66 (66|$#,210|$#,)!
-3 f0 (210|$#,380|$#,203|$#,)!
-3 f5 (210|$#,380|$#,203|$#,)!
-3 f0 (380|$#,63|$#,380|$#,203|$#,)!
-3 f5 (380|$#,63|$#,380|$#,203|$#,)!
-3 f0 (380|$#,203|$#,)!
-3 f5 (380|$#,203|$#,)!
-3 f0 (23|4@5@7&#,65|$#,398|0@5@7&#,)!
-3 f63 (23|4@5@7&#,65|$#,398|0@5@7&#,)!
-3 C0.1/380|!
-3 f0 (380|@5|4@0@9&#,380|$#,)!
-3 f1 (380|@5|4@0@9&#,380|$#,)!
-3 f425 (380|@5|4@0@9&#,380|$#,)!
-3 f0 (380|@5|$#,65|$#,)!
-3 f19 (380|@5|$#,65|$#,)!
-3 f380 (380|@5|$#,65|$#,)!
-3 f0 (380|$#,380|$#,)!
-3 f5 (380|$#,380|$#,)!
-3 f0 (380|$#,380|$#,)!
-3 f5 (380|$#,380|$#,)!
-3 f0 (380|@5|4@0@9&#,380|$#,)!
-3 f1 (380|@5|4@0@9&#,380|$#,)!
-3 f425 (380|@5|4@0@9&#,380|$#,)!
-3 f0 (380|$#,380|$#,)!
-3 f63 (380|$#,380|$#,)!
-0 s341|-1 442 -1
-1 t441|441&
-3 f0 (380|4@0@7&#,63|$#,380|$#,442|$#,)!
-3 f63 (380|4@0@7&#,63|$#,380|$#,442|$#,)!
-3 f0 (380|$#,)!
-3 f63 (380|$#,)!
-3 C0.1/380|!
-3 f0 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f1 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f447 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f0 (380|$#,380|$#,63|$#,)!
-3 f5 (380|$#,380|$#,63|$#,)!
-3 f0 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f1 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f447 (380|@5|4@0@9&#,380|$#,63|$#,)!
-3 f0 (380|@5|$#,380|$#,)!
-3 f19 (380|@5|$#,380|$#,)!
-3 f380 (380|@5|$#,380|$#,)!
-3 f0 (380|@5|$#,65|$#,)!
-3 f19 (380|@5|$#,65|$#,)!
-3 f380 (380|@5|$#,65|$#,)!
-1 t380|380&
-3 f0 (23|0@5@7&#,462|$#,63|$#,398|0@5@7&#,)!
-3 f63 (23|0@5@7&#,462|$#,63|$#,398|0@5@7&#,)!
-3 f0 (380|$#,380|$#,)!
-3 f63 (380|$#,380|$#,)!
-3 f0 (380|$#,380|$#,)!
-3 f19 (380|$#,380|$#,)!
-3 f380 (380|$#,380|$#,)!
-3 f0 (380|$#,462|0@5@7&#,)!
-3 f17 (380|$#,462|0@5@7&#,)!
-3 f0 (380|0@5@7&#,380|$#,462|$#,)!
-3 f19 (380|0@5@7&#,380|$#,462|$#,)!
-3 f380 (380|0@5@7&#,380|$#,462|$#,)!
-3 f0 (380|$#,462|0@5@7&#,5|$#,)!
-3 f9 (380|$#,462|0@5@7&#,5|$#,)!
-3 f0 (380|$#,462|0@5@7&#,5|$#,)!
-3 f10 (380|$#,462|0@5@7&#,5|$#,)!
-3 f0 (380|0@5@7&#,380|$#,63|$#,)!
-3 f63 (380|0@5@7&#,380|$#,63|$#,)!
+3 f0 (384|$#,63|$#,384|$#,!.,)!
+3 f5 (384|$#,63|$#,384|$#,!.,)!
+3 f0 (384|$#,384|$#,!.,)!
+3 f5 (384|$#,384|$#,!.,)!
+3 f0 (66|$#,212|$#,)!
+3 f66 (66|$#,212|$#,)!
+3 f0 (212|$#,384|$#,205|$#,)!
+3 f5 (212|$#,384|$#,205|$#,)!
+3 f0 (384|$#,63|$#,384|$#,205|$#,)!
+3 f5 (384|$#,63|$#,384|$#,205|$#,)!
+3 f0 (384|$#,205|$#,)!
+3 f5 (384|$#,205|$#,)!
+3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
+3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
+3 C0.1/384|!
+3 f0 (384|@5|4@0@9&#,384|$#,)!
+3 f1 (384|@5|4@0@9&#,384|$#,)!
+3 f429 (384|@5|4@0@9&#,384|$#,)!
+3 f0 (384|@5|$#,65|$#,)!
+3 f19 (384|@5|$#,65|$#,)!
+3 f384 (384|@5|$#,65|$#,)!
+3 f0 (384|$#,384|$#,)!
+3 f5 (384|$#,384|$#,)!
+3 f0 (384|$#,384|$#,)!
+3 f5 (384|$#,384|$#,)!
+3 f0 (384|@5|4@0@9&#,384|$#,)!
+3 f1 (384|@5|4@0@9&#,384|$#,)!
+3 f429 (384|@5|4@0@9&#,384|$#,)!
+3 f0 (384|$#,384|$#,)!
+3 f63 (384|$#,384|$#,)!
+0 s263|-1 446 -1
+1 t445|445&
+3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
+3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
+3 f0 (384|$#,)!
+3 f63 (384|$#,)!
+3 C0.1/384|!
+3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f0 (384|$#,384|$#,63|$#,)!
+3 f5 (384|$#,384|$#,63|$#,)!
+3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
+3 f0 (384|@5|$#,384|$#,)!
+3 f19 (384|@5|$#,384|$#,)!
+3 f384 (384|@5|$#,384|$#,)!
+3 f0 (384|@5|$#,65|$#,)!
+3 f19 (384|@5|$#,65|$#,)!
+3 f384 (384|@5|$#,65|$#,)!
+1 t384|384&
+3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
+3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
+3 f0 (384|$#,384|$#,)!
+3 f63 (384|$#,384|$#,)!
+3 f0 (384|$#,384|$#,)!
+3 f19 (384|$#,384|$#,)!
+3 f384 (384|$#,384|$#,)!
+3 f0 (384|$#,466|0@5@7&#,)!
+3 f17 (384|$#,466|0@5@7&#,)!
+3 f0 (384|0@5@7&#,384|$#,466|$#,)!
+3 f19 (384|0@5@7&#,384|$#,466|$#,)!
+3 f384 (384|0@5@7&#,384|$#,466|$#,)!
+3 f0 (384|$#,466|0@5@7&#,5|$#,)!
+3 f9 (384|$#,466|0@5@7&#,5|$#,)!
+3 f0 (384|$#,466|0@5@7&#,5|$#,)!
+3 f10 (384|$#,466|0@5@7&#,5|$#,)!
+3 f0 (384|0@5@7&#,384|$#,63|$#,)!
+3 f63 (384|0@5@7&#,384|$#,63|$#,)!
 3 f0 (66|$#,)!
 3 f5 (66|$#,)!
-3 f0 (380|$#,65|$#,63|$#,)!
-3 f19 (380|$#,65|$#,63|$#,)!
-3 f380 (380|$#,65|$#,63|$#,)!
-3 f0 (380|$#,380|$#,63|$#,)!
-3 f5 (380|$#,380|$#,63|$#,)!
-3 f0 (380|@5|$#,380|$#,63|$#,)!
-3 f19 (380|@5|$#,380|$#,63|$#,)!
-3 f380 (380|@5|$#,380|$#,63|$#,)!
-3 f0 (380|@5|$#,380|$#,63|$#,)!
-3 f19 (380|@5|$#,380|$#,63|$#,)!
-3 f380 (380|@5|$#,380|$#,63|$#,)!
-3 f0 (380|@5|$#,65|$#,63|$#,)!
-3 f19 (380|@5|$#,65|$#,63|$#,)!
-3 f380 (380|@5|$#,65|$#,63|$#,)!
-3 f0 (380|$#,!.,)!
-3 f5 (380|$#,!.,)!
-3 f0 (380|$#,!.,)!
-3 f5 (380|$#,!.,)!
-0 s10|&
-0 s11|&
+3 f0 (384|$#,65|$#,63|$#,)!
+3 f19 (384|$#,65|$#,63|$#,)!
+3 f384 (384|$#,65|$#,63|$#,)!
+3 f0 (384|$#,384|$#,63|$#,)!
+3 f5 (384|$#,384|$#,63|$#,)!
+3 f0 (384|@5|$#,384|$#,63|$#,)!
+3 f19 (384|@5|$#,384|$#,63|$#,)!
+3 f384 (384|@5|$#,384|$#,63|$#,)!
+3 f0 (384|@5|$#,384|$#,63|$#,)!
+3 f19 (384|@5|$#,384|$#,63|$#,)!
+3 f384 (384|@5|$#,384|$#,63|$#,)!
+3 f0 (384|@5|$#,65|$#,63|$#,)!
+3 f19 (384|@5|$#,65|$#,63|$#,)!
+3 f384 (384|@5|$#,65|$#,63|$#,)!
+3 f0 (384|$#,!.,)!
+3 f5 (384|$#,!.,)!
+3 f0 (384|$#,!.,)!
+3 f5 (384|$#,!.,)!
+0 s287|&
+0 s288|&
 3 C0.2/5|!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f503 (66|$#,)!
+3 f507 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f503 (66|$#,)!
+3 f507 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f503 (66|$#,)!
-3 f0 (66|$#,501|$#,)!
-3 f2 (66|$#,501|$#,)!
-3 f503 (66|$#,501|$#,)!
+3 f507 (66|$#,)!
+3 f0 (66|$#,505|$#,)!
+3 f2 (66|$#,505|$#,)!
+3 f507 (66|$#,505|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f503 (66|$#,)!
+3 f507 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
 3 C0.2/5|!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f521 (66|$#,)!
+3 f525 (66|$#,)!
 3 C0.2/5|!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
-3 f538 (66|$#,)!
+3 f542 (66|$#,)!
 3 C0.66/5|!
-3 f0 (66|$#,502|$#,)!
-3 f66 (66|$#,502|$#,)!
-3 f542 (66|$#,502|$#,)!
+3 f0 (66|$#,506|$#,)!
+3 f66 (66|$#,506|$#,)!
+3 f546 (66|$#,506|$#,)!
 3 f0 (66|$#,)!
 3 f66 (66|$#,)!
-3 f542 (66|$#,)!
+3 f546 (66|$#,)!
 3 f0 (66|$#,)!
 3 f66 (66|$#,)!
-3 f542 (66|$#,)!
+3 f546 (66|$#,)!
 3 f0 (23|$#,)!
-3 f502 (23|$#,)!
+3 f506 (23|$#,)!
 3 f0 (23|$#,)!
-3 f501 (23|$#,)!
+3 f505 (23|$#,)!
 3 f0 (23|$#,63|$#,)!
 3 f5 (23|$#,63|$#,)!
-3 f0 (380|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f5 (380|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
 3 f0 (23|4@5@7&#,65|$#,)!
 3 f5 (23|4@5@7&#,65|$#,)!
-3 f0 (380|4@0@7&#,23|$#,63|$#,)!
-3 f63 (380|4@0@7&#,23|$#,63|$#,)!
-3 f0 (23|4@0@7&#,380|$#,63|$#,)!
-3 f63 (23|4@0@7&#,380|$#,63|$#,)!
+3 f0 (384|4@0@7&#,23|$#,63|$#,)!
+3 f63 (384|4@0@7&#,23|$#,63|$#,)!
+3 f0 (23|4@0@7&#,384|$#,63|$#,)!
+3 f63 (23|4@0@7&#,384|$#,63|$#,)!
 3 C0.1/20|!
 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
-3 f566 (20|@5|4@0@9&#,20|$#,63|$#,)!
+3 f570 (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 f566 (20|@5|4@0@7&#,20|$#,63|$#,)!
+3 f570 (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 f573 (23|@5|4@0@9&#,23|$#,)!
+3 f577 (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 f573 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f573 (23|@5|4@0@9&#,23|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f573 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f0 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f577 (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 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|@5|$#,262|$#,)!
-3 f19 (23|@5|$#,262|$#,)!
-3 f23 (23|@5|$#,262|$#,)!
+3 f0 (23|@5|$#,266|$#,)!
+3 f19 (23|@5|$#,266|$#,)!
+3 f23 (23|@5|$#,266|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
 3 f19 (23|@5|$#,23|$#,)!
 3 f23 (23|@5|$#,23|$#,)!
-3 f0 (23|@5|$#,262|$#,)!
-3 f19 (23|@5|$#,262|$#,)!
-3 f23 (23|@5|$#,262|$#,)!
+3 f0 (23|@5|$#,266|$#,)!
+3 f19 (23|@5|$#,266|$#,)!
+3 f23 (23|@5|$#,266|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|0@0@9&#,23|$#,)!
 3 C0.1/20|!
 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
-3 f618 (20|@5|4@0@7&#,5|$#,63|$#,)!
+3 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
 3 f0 (5|$#,)!
 3 f19 (5|$#,)!
 3 f23 (5|$#,)!
 3 f0 (23|$#,)!
 3 f63 (23|$#,)!
-0 s12|&
-0 s13|-1 636 -1
+0 s334|&
+0 s335|-1 640 -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 f627 ()!
-3 f0 (628|$#,628|$#,)!
-3 f17 (628|$#,628|$#,)!
-3 f0 (442|$#,)!
-3 f628 (442|$#,)!
-1 t628|628&
-3 f0 (636|4@5@7&#,)!
-3 f628 (636|4@5@7&#,)!
-3 f0 (442|$#,)!
-3 f19 (442|$#,)!
-3 f23 (442|$#,)!
-3 f0 (636|$#,)!
-3 f19 (636|$#,)!
-3 f23 (636|$#,)!
-3 f0 (636|$#,)!
-3 f19 (636|$#,)!
-3 f442 (636|$#,)!
-3 f0 (636|$#,)!
-3 f19 (636|$#,)!
-3 f442 (636|$#,)!
-3 f0 (23|4@0@7&#,63|$#,23|$#,442|$#,)!
-3 f63 (23|4@0@7&#,63|$#,23|$#,442|$#,)!
-0 a1|&
-0 s14|&
+3 f631 ()!
+3 f0 (632|$#,632|$#,)!
+3 f17 (632|$#,632|$#,)!
+3 f0 (446|$#,)!
+3 f632 (446|$#,)!
+1 t632|632&
+3 f0 (640|4@5@7&#,)!
+3 f632 (640|4@5@7&#,)!
+3 f0 (446|$#,)!
+3 f19 (446|$#,)!
+3 f23 (446|$#,)!
+3 f0 (640|$#,)!
+3 f19 (640|$#,)!
+3 f23 (640|$#,)!
+3 f0 (640|$#,)!
+3 f19 (640|$#,)!
+3 f446 (640|$#,)!
+3 f0 (640|$#,)!
+3 f19 (640|$#,)!
+3 f446 (640|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
+3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
+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|&
+0 s371|&
+0 s372|&
+0 a411|&
 ;;tistable
-2
 0
-0,17
-17
-0,17,18
-18
-0,17,18,19
-19
-0,17,18,19,20
-20
-1
+30
+30,125
+125
+30,125,140
+140
+30,125,140,143
+143
+30,125,140,143,144
+144
+411
 ;;symTable
 *0 (Datatype)
-0@+@=@0@7@0@0@67#mbstate_t
-0@+@+@0@7@0@0@653#mnull
-2@+@-@0@0@0@0@2#lltX_bool
-13@-@-@0@0@0@0@59#__SIZE_TYPE__
-13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
-13@-@-@0@0@0@0@61#__WCHAR_TYPE__
-13@-@-@0@0@0@0@62#ptrdiff_t
-13@-@-@0@0@0@0@65#wchar_t
-13@-@-@0@0@0@0@66#wint_t
-13@-@-@0@0@0@0@175#sig_atomic_t
-13@-@-@0@0@0@0@501#wctype_t
-13@-@-@0@0@0@0@502#wctrans_t
-13@-@-@0@0@0@0@627#clock_t
-13@-@-@0@0@0@0@628#time_t
-13@-@-@0@0@0@0@654#__PTRDIFF_TYPE__ 
-14@-@-@0@0@0@0@63#size_t
-15@-@-@0@0@0@0@64#ssize_t
-20@+@+@0@0@0@0@170#jmp_buf
-20@+@+@0@0@0@0@203#va_list
-20@+@+@0@0@0@0@208#FILE
-20@+@+@0@0@0@0@209#fpos_t
-364@-@-@0@0@0@0@366#div_t
-371@-@-@0@0@0@0@373#ldiv_t
+^0 2@+@-@0@0@0@0@2#lltX_bool
+*1 (Constant)
+^1 2@i0@0@6#FALSE
+^2 2@i1@0@0#TRUE
+*11 (GlobalMarker)
+*1 (Constant)
+^4 5$#__LINE__
+^5 23$#__DATE__#__FILE__#__BASE_FILE__
+^8 5$#__INCLUDE_LEVEL__
+^9 23$#__VERSION__
+*0 (Datatype)
+^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
+^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
+^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
+*1 (Constant)
+^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
+^16 5$#S_SPLINT_S#__LCLINT__#__i686
+*3 (Variable)
+^19 212|@1|6@0@0@0@1#stdin#stdout
 *1 (Constant)
-0@i0@0@6#NULL
-2@i1@0@0#TRUE
-2$#NDEBUG
-2@i0@0@6#FALSE
-3$#UCHAR_MAX#UCHAR_MIN
-4$#CHAR_MAX#CHAR_MIN#SCHAR_MAX#SCHAR_MIN
-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__
-6$#UINT_MAX
-7$#SHRT_MAX#SHRT_MIN
-8$#USHRT_MAX
-9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
-10$#ULONG_MAX
-17$#HUGE_VAL
-23$#__BASE_FILE__#__DATE__#__FILE__#__REGISTER_PREFIX__#__TIME__#__USER_LABEL_PREFIX__#__VERSION__
-63$#MB_CUR_MAX
-66$#WEOF
-179$#SIG_DFL
-183$#SIG_ERR
-187$#SIG_IGN
+^21 5$#EDOM#ERANGE#EILSEQ
 *3 (Variable)
-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#errno
-16|@1|0@0@0@0@1#FLT_EPSILON#FLT_MAX#FLT_MIN
-17|@1|0@0@0@0@1#DBL_EPSILON#DBL_MAX#DBL_MIN
-18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN
-210|@1|0@0@0@0@1#stderr#stdin#stdout
+^24 5|@1|6@0@0@0@1#errno
+*0 (Datatype)
+^25 13@-@-@0@0@0@0@62#ptrdiff_t
+^26 14@-@-@0@0@0@0@63#size_t
+^27 15@-@-@0@0@0@0@64#ssize_t
+^28 13@-@-@0@0@0@0@65#wchar_t
+^29 13@-@-@0@0@0@0@66#wint_t
+^30 0@+@=@0@7@0@0@67#mbstate_t
+*1 (Constant)
+^31 0@i0@0@6#NULL
+^32 2$#NDEBUG
 *4 (Function)
-361$@0@g113@0@0@1@tp0,g113$@0#qsort
-174@6@0@5@0@0@1@@1@s0$@0#longjmp
-205$@0@@1@p0$@0#va_start
-232$@0@s3@1@s3,tp0,tp1$@0#setbuf
-337@6@0@6@0@0@1@@1@s0$@0#exit
-322$@0@s1@1@s1$@0#srand
-333$@0@@1@tp0$@0#free
-304$@1@g113@0@0,g123@0@0,s3@1@s3,tg123$@0#perror
-207$@0@@1@p0$@0#va_end
-298$@0@@1@tp0$@0#clearerr#rewind
-71@6@0@8@0@0@1@@1@s0$@0#assert
-335@6@0@6@0@0@1@@1@s0$@0#abort
-234$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-420$@0@@1@tp0$@0#vswprintf
-412@6@0@1@1@0@0@@1@tp0$@0#swprintf
-587$@1@@1@s0$@0#memcmp
-593$@1@@1@s0$@0#strncmp
-256$@0@@1@tp0,p2$@0#vsprintf
-250@6@0@1@2@0@1@@1@s0$@0#sscanf
-290$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fseek
-252$@0@s3,g113@0@0@1@s3,tp0,p2,g113$@0#vfprintf
-240@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
-418$@0@s3@1@s3,tp0$@0#vfwprintf
-391@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
-393@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
-452$@1@@1@s0$@0#wcsncmp#wmemcmp
-414@6@0@1@2@0@0@g124@0@0@1@tg124$@0#swscanf
-559$@0@@1@tp0$@0#mbtowc
-214$@0@s3,g113@0@0@1@s3,g113$@0#rename
-589$@1@@1@s0$@0#strcmp#strcoll
-557$@1@@1@s0$@0#mblen
-254$@1@g125@0@0,s3@1@s3,p1,tg125$@0#vprintf
-266$@0@s3@1@s3,tp1$@0#fputs
-245@6@0@1@2@0@1@g124@0@0,s3@1@s3,tg124$@0#scanf
-561$@0@@1@tp0$@0#wctomb
-389$@1@@1@s0$@0#fwide
-292$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fsetpos
-288$@0@g113@0@0@1@tp1,g113$@0#fgetpos
-422$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf
-387$@0@s3@1@s3,tp1$@0#fputws
-433$@1@@1@s0$@0#wcscmp#wcscoll
-498@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf
-500@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf
-264$@0@s3,g113@0@0@1@s3,tp1,g113$@0#fputc#ungetc
-275$@0@s3@1@s3,tp1$@0#putc
-363$@1@@1@s0$@0#abs
-202@6@0@5@0@0$$@0#raise
-279$@1@g125@0@0,s3@1@s3,tg125$@0#puts
-212$@0@s3,g113@0@0@1@s3,g113$@0#remove
-308$@1@@1@s0$@0#atoi
-348$@0@s3@1@s3$@0#system
-482$@1@@1@s0$@0#wctob
-172$@0@@1@p0$@0#setjmp
-222$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fclose#fgetc
-300$@0@g113@0@0@1@g113$@0#feof#ferror
-268$@0@s3@1@s3,tp0$@0#getc
-224$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fflush
-343$@0@s1@1@s1$@0#atexit
-404$@1@@1@s0$@0#mbsinit
-277$@1@g125@0@0,s3@1@s3,tg125$@0#putchar
-270$@1@g124@0@0,s3@1@s3,tg124$@0#getchar
-320$@0@s1@1@s1$@0#rand
-316$@0@g113@0@0@1@tp1,g113$@0#strtol
-476$@0@@1@tp1$@0#wcstol
-370$@1@@1@s0$@0#labs
-310$@1@@1@s0$@0#atol
-294$@0@g113@0@0@1@g113$@0#ftell
-318$@0@g113@0@0@1@tp1,g113$@0#strtoul
-478$@0@@1@tp1$@0#wcstoul
-149$@0@g113@0@0@1@g113$@0#ldexp
-157$@0@g113@0@0@1@g113$@0#pow
-139$@1@@1@s0$@0#atan2#fmod
-151$@0@@1@tp1$@0#frexp
-167$@0@@1@tp1$@0#modf
-314$@0@g113@0@0@1@tp1,g113$@0#strtod
-471$@0@@1@tp1$@0#wcstod
-633$@1@@1@s0$@0#difftime
-135$@0@g113@0@0@1@g113$@0#acos#asin#cosh#exp#log#log10#sqrt
-137$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh
-306$@1@@1@s0$@0#atof
-355@6@5@1@0@0@1@@1@s0@18@0@0#bsearch
-598@6@5@1@0@0@1@@1@s0@3@0@0#memchr
-331@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
-325@6@5@1@0@0@1@@1@s0@2@0@0#calloc
-328@4@5@1@0@0@1@@1@s0@2@0@0#malloc
-261@6@5@1@0@0@0@s3,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets
-121@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@19@3@0#setlocale
-606@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
-601@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr
-617@6@5@1@0@0@0@s1,g113@0@0@1@tp0,s1,g113@19@2@0#strtok
-614@6@5@1@0@0@1@@1@s0@19@2@0#strstr
-624$@1@@1@s0@19@3@0#strerror
-346@6@5@1@0@0@1@@1@s0@19@3@0#getenv
-273@6@5@1@0@0@1@g124@0@0,s3,g113@0@0@1@s3,tp0,tg124,g113@3@0@0#gets
-220$@0@s1@1@tp0,s1@19@3@0#tmpnam
-641$@0@g113@0@0@1@g113@19@3@0#asctime
-644$@1@@1@s0@19@3@0#ctime
-285$@0@s3,g113@0@0@1@s3,tp3,g113$@0#fwrite
-283$@0@s3,g113@0@0@1@s3,tp0,tp3,g113$@0#fread
-464$@0@@1@tp1$@0#wcsrtombs
-652$@0@@1@tp0$@0#strftime
-402$@0@@1@tp0$@0#mbrtowc
-406$@0@@1@tp0$@0#mbsrtowcs
-444$@0@@1@tp0$@0#wcsftime
-400$@1@@1@s0$@0#mbrlen
-565$@0@@1@tp0$@0#wcstombs
-595$@0@@1@tp0$@0#strxfrm
-424$@0@@1@tp0$@0#wcrtomb
-480$@0@@1@tp0$@0#wcsxfrm
-563$@0@@1@tp0$@0#mbstowcs
-603$@1@@1@s0$@0#strcspn#strspn
-440$@1@@1@s0$@0#wcscspn#wcsspn
-626$@1@@1@s0$@0#strlen
-446$@1@@1@s0$@0#wcslen
-385$@0@s3@1@s3,tp1$@0#fputwc
-408$@0@s3@1@s3,tp1$@0#putwc
-416$@0@s3@1@s3,tp1$@0#ungetwc
-377$@1@@1@s0$@0#btowc
-410$@0@s3,g125@0@0@1@s3,tg125$@0#putwchar
-379$@0@s3@1@s3,tp0$@0#fgetwc
-395$@0@s3@1@s3,tp0$@0#getwc
-397$@0@s3,g124@0@0@1@s3,tg124$@0#getwchar
-125$@1@@1@s0@3@0@0#localeconv
-230@6@5@1@0@0@0@s3,g113@0@0@1@tp2,s3,g113@3@0@0#freopen
-227@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
-217@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
-368$@1@@1@s0$@0#div
-375$@1@@1@s0$@0#ldiv
-485@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr
-383@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
-496$@0@@1@tp0$@0#wmemset
-490$@0@@1@tp0$@0#wmemcpy#wmemmove
-474@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
-469@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr
-461@6@5@1@0@0@1@@1@s0$@0#wcsrchr
-431@6@5@1@0@0@1@@1@s0@19@2@0#wcschr
-458@6@5@1@0@0@1@@1@s0$@0#wcspbrk
-650@6@5@1@0@0@0@g113@0@0@1@g113@19@3@0#localtime
-647@6@5@1@0@0@1@@1@s0@19@3@0#gmtime
-555$@1@@1@s0$@0#wctype
-553$@1@@1@s0$@0#wctrans
-631$@0@s1@1@s1$@0#clock
-635$@1@@1@s0$@0#mktime
-638$@0@@1@tp0$@0#time
-200@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113$@0#signal
-621$@0@@1@tp0$@0#memset
-572$@0@@1@tp0$@0#memmove
-569$@0@@1@tp0$@0#memcpy
-585$@0@@1@tp0$@0#strncat
-579$@0@@1@tp0$@0#strncpy
-582$@0@@1@tp0$@0#strcat#strcpy
-450$@0@@1@tp0$@0#wcsncat#wcsncpy
-428$@0@@1@tp0$@0#wcscat#wcscpy
-515$@1@@1@s0$@0#iswctype
-506$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit
-75$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit
-113$@1@@1@s0$@0#tolower#toupper
-248@6@0@1@1@0@0@@1@tp0$@0#sprintf
-238@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
-243@6@0@1@1@0@1@g125@0@0,s3@1@s3,tg125$@0#printf
-545$@1@@1@s0$@0#towctrans
-548$@1@@1@s0$@0#towlower#towupper
+^33 72@6@0@8@0@0^$@0#assert
+^34 77$^$@0#isalnum
+^35 80$^$@0#isalpha
+^36 83$^$@0#iscntrl
+^37 86$^$@0#isdigit
+^38 90$^$@0#isgraph
+^39 94$^$@0#islower
+^40 97$^$@0#isprint
+^41 100$^$@0#ispunct
+^42 103$^$@0#isspace
+^43 107$^$@0#isupper
+^44 111$^$@0#isxdigit
+^45 115$^$@0#tolower
+^46 118$^$@0#toupper
 *7 (Struct tag)
-364@365#@!2
-371@372#@!3
-629@441#@tm
-117@118#@lconv
+^47 119@120#@lconv
+*1 (Constant)
+^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
+*4 (Function)
+^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale
+^55 127$^@3@0@0#localeconv
+*3 (Variable)
+^56 5|@1|6@0@0@0@1#DBL_DIG
+^57 17|@1|6@0@0@0@1#DBL_EPSILON
+^58 5|@1|6@0@0@0@1#DBL_MANT_DIG
+^59 17|@1|6@0@0@0@1#DBL_MAX
+^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
+^62 17|@1|6@0@0@0@1#DBL_MIN
+^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
+^66 16|@1|6@0@0@0@1#FLT_EPSILON
+^67 5|@1|6@0@0@0@1#FLT_MANT_DIG
+^68 16|@1|6@0@0@0@1#FLT_MAX
+^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
+^71 16|@1|6@0@0@0@1#FLT_MIN
+^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
+*1 (Constant)
+^74 5$#FLT_RADIX
+*3 (Variable)
+^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
+^77 18|@1|6@0@0@0@1#LDBL_EPSILON
+^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG
+^79 18|@1|6@0@0@0@1#LDBL_MAX
+^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
+^82 18|@1|6@0@0@0@1#LDBL_MIN
+^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
+*1 (Constant)
+^85 5$#CHAR_BIT
+^86 4$#CHAR_MAX#CHAR_MIN
+^88 5$#INT_MAX#INT_MIN
+^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
+^93 4$#SCHAR_MAX#SCHAR_MIN
+^95 7$#SHRT_MAX#SHRT_MIN
+^97 3$#UCHAR_MAX#UCHAR_MIN
+^99 6$#UINT_MAX
+^100 10$#ULONG_MAX
+^101 8$#USHRT_MAX
+^102 17$#HUGE_VAL
+*4 (Function)
+^103 129$^$@0#sin
+^104 131$^$@0#cos
+^105 133$^$@0#tan
+^106 135$@0@g24@6@0@1@g24$@0#asin
+^107 137$@0@g24@6@0@1@g24$@0#acos
+^108 139$^$@0#atan
+^109 141$^$@0#atan2
+^110 143$^$@0#sinh
+^111 145$@0@g24@6@0@1@g24$@0#cosh
+^112 147$^$@0#tanh
+^113 149$@0@g24@6@0@1@g24$@0#exp
+^114 151$@0@g24@6@0@1@g24$@0#ldexp
+^115 153$@0@@1@tp1$@0#frexp
+^116 155$@0@g24@6@0@1@g24$@0#log
+^117 157$@0@g24@6@0@1@g24$@0#log10
+^118 159$@0@g24@6@0@1@g24$@0#pow
+^119 161$@0@g24@6@0@1@g24$@0#sqrt
+^120 163$^$@0#ceil
+^121 165$^$@0#floor
+^122 167$^$@0#fabs
+^123 169$@0@@1@tp1$@0#modf
+^124 171$^$@0#fmod
+*0 (Datatype)
+^125 20@+@+@0@0@0@0@172#jmp_buf
+*4 (Function)
+^126 174$@0@@1@p0$@0#setjmp
+^127 176@6@0@5@0@0^$@0#longjmp
+*1 (Constant)
+^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
+*0 (Datatype)
+^134 13@-@-@0@0@0@0@177#sig_atomic_t
+*1 (Constant)
+^135 181$#SIG_DFL
+^136 185$#SIG_ERR
+^137 189$#SIG_IGN
+*4 (Function)
+^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal
+^139 204@6@0@5@0@0$$@0#raise
+*0 (Datatype)
+^140 20@+@+@0@0@0@0@205#va_list
+*4 (Function)
+^141 207$@0@@1@p0$@0#va_start
+^142 209$@0@@1@p0$@0#va_end
+*0 (Datatype)
+^143 20@+@+@0@0@0@0@210#FILE
+^144 20@+@+@0@0@0@0@211#fpos_t
+*1 (Constant)
+^145 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
+*3 (Variable)
+^157 212|@1|6@0@0@0@1#stderr
+*4 (Function)
+^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove
+^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename
+^160 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
+^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose
+^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush
+^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
+^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@3@0@0#freopen
+^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
+^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
+^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf
+^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf
+^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^173 252@6@0@1@2@0^$@0#sscanf
+^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf
+^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf
+^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^177 260$@0@@1@p0$@0#vsnprintf
+^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc
+^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets
+^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc
+^181 270$@0@s3@1@s3,tp1$@0#fputs
+^182 272$@0@s3@1@s3,tp0$@0#getc
+^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar
+^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
+^185 279$@0@s3@1@s3,tp1$@0#putc
+^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar
+^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts
+^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc
+^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread
+^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite
+^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos
+^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek
+^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos
+^194 298$@0@g24@6@0@1@g24$@0#ftell
+^195 300$@0@@1@tp0$@0#rewind
+^196 302$@0@@1@tp0$@0#clearerr
+^197 304$@0@g24@6@0@1@g24$@0#feof
+^198 306$@0@g24@6@0@1@g24$@0#ferror
+^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror
+^200 310$^$@0#atof
+^201 312$^$@0#atoi
+^202 314$^$@0#atol
+^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod
+^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol
+^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul
+*1 (Constant)
+^206 5$#RAND_MAX
+*4 (Function)
+^207 324$@0@s1@1@s1$@0#rand
+^208 326$@0@s1@1@s1$@0#srand
+^209 329@6@5@1@0@0^@2@0@0#calloc
+^210 332@4@5@1@0@0^@2@0@0#malloc
+^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^212 337$@0@@1@p0$@0#free
+*1 (Constant)
+^213 5$#EXIT_FAILURE#EXIT_SUCCESS
+*4 (Function)
+^215 339@6@0@6@0@0^$@0#abort
+^216 341@6@0@6@0@0^$@0#exit
+^217 347$@0@s1@1@s1$@0#atexit
+^218 350@6@5@1@0@0^@19@3@0#getenv
+^219 352$@0@s3@1@s3$@0#system
+^220 359@6@5@1@0@0^@18@0@0#bsearch
+^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort
+^222 367$^$@0#abs
+*7 (Struct tag)
+^223 368@369#@!2
+*0 (Datatype)
+^224 368@-@-@0@0@0@0@370#div_t
+*4 (Function)
+^225 372$^$@0#div
+^226 374$^$@0#labs
+*7 (Struct tag)
+^227 375@376#@!3
+*0 (Datatype)
+^228 375@-@-@0@0@0@0@377#ldiv_t
+*4 (Function)
+^229 379$^$@0#ldiv
+*1 (Constant)
+^230 63$#MB_CUR_MAX
+^231 5$#WCHAR_MAX#WCHAR_MIN
+^233 66$#WEOF
+*4 (Function)
+^234 381$^$@0#btowc
+^235 383$@0@s3@1@s3,tp0$@0#fgetwc
+^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^237 389$@0@s3@1@s3,tp1$@0#fputwc
+^238 391$@0@s3@1@s3,tp1$@0#fputws
+^239 393$^$@0#fwide
+^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^242 399$@0@s3@1@s3,tp0$@0#getwc
+^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar
+^244 404$^$@0#mbrlen
+^245 406$@0@@1@tp0$@0#mbrtowc
+^246 408$^$@0#mbsinit
+^247 410$@0@@1@tp0$@0#mbsrtowcs
+^248 412$@0@s3@1@s3,tp1$@0#putwc
+^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar
+^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf
+^252 420$@0@s3@1@s3,tp1$@0#ungetwc
+^253 422$@0@s3@1@s3,tp0$@0#vfwprintf
+^254 424$@0@@1@tp0$@0#vswprintf
+^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf
+^256 428$@0@@1@tp0$@0#wcrtomb
+^257 432$@0@@1@tp0$@0#wcscat
+^258 435@6@5@1@0@0^@19@2@0#wcschr
+^259 437$^$@0#wcscmp
+^260 439$^$@0#wcscoll
+^261 442$@0@@1@tp0$@0#wcscpy
+^262 444$^$@0#wcscspn
+*7 (Struct tag)
+^263 633@445#@tm
+*4 (Function)
+^264 448$@0@@1@tp0$@0#wcsftime
+^265 450$^$@0#wcslen
+^266 454$@0@@1@tp0$@0#wcsncat
+^267 456$^$@0#wcsncmp
+^268 459$@0@@1@tp0$@0#wcsncpy
+^269 462@6@5@1@0@0^$@0#wcspbrk
+^270 465@6@5@1@0@0^$@0#wcsrchr
+^271 468$@0@@1@tp1$@0#wcsrtombs
+^272 470$^$@0#wcsspn
+^273 473@6@5@1@0@0^@3@0@0#wcsstr
+^274 475$@0@@1@tp1$@0#wcstod
+^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^276 480$@0@@1@tp1$@0#wcstol
+^277 482$@0@@1@tp1$@0#wcstoul
+^278 484$@0@@1@tp0$@0#wcsxfrm
+^279 486$^$@0#wctob
+^280 489@6@5@1@0@0^@3@0@0#wmemchr
+^281 491$^$@0#wmemcmp
+^282 494$@0@@1@tp0$@0#wmemcpy
+^283 497$@0@@1@tp0$@0#wmemmove
+^284 500$@0@@1@tp0$@0#wmemset
+^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf
+^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf
+*0 (Datatype)
+^287 13@-@-@0@0@0@0@505#wctype_t
+^288 13@-@-@0@0@0@0@506#wctrans_t
+*4 (Function)
+^289 510$^$@0#iswalnum
+^290 513$^$@0#iswalpha
+^291 516$^$@0#iswcntrl
+^292 519$^$@0#iswctype
+^293 522$^$@0#iswdigit
+^294 526$^$@0#iswgraph
+^295 529$^$@0#iswlower
+^296 532$^$@0#iswprint
+^297 535$^$@0#iswpunct
+^298 538$^$@0#iswspace
+^299 541$^$@0#iswupper
+^300 545$^$@0#iswxdigit
+^301 549$^$@0#towctrans
+^302 552$^$@0#towlower
+^303 555$^$@0#towupper
+^304 557$^$@0#wctrans
+^305 559$^$@0#wctype
+^306 561$^$@0#mblen
+^307 563$@0@@1@tp0$@0#mbtowc
+^308 565$@0@@1@tp0$@0#wctomb
+^309 567$@0@@1@tp0$@0#mbstowcs
+^310 569$@0@@1@tp0$@0#wcstombs
+^311 573$@0@@1@tp0$@0#memcpy
+^312 576$@0@@1@tp0$@0#memmove
+^313 580$@0@@1@tp0$@0#strcpy
+^314 583$@0@@1@tp0$@0#strncpy
+^315 586$@0@@1@tp0$@0#strcat
+^316 589$@0@@1@tp0$@0#strncat
+^317 591$^$@0#memcmp
+^318 593$^$@0#strcmp
+^319 595$^$@0#strcoll
+^320 597$^$@0#strncmp
+^321 599$@0@@1@tp0$@0#strxfrm
+^322 602@6@5@1@0@0^@3@0@0#memchr
+^323 605@6@5@1@0@0^@19@2@0#strchr
+^324 607$^$@0#strcspn
+^325 610@6@5@1@0@0^@19@2@0#strpbrk
+^326 613@6@5@1@0@0^@19@2@0#strrchr
+^327 615$^$@0#strspn
+^328 618@6@5@1@0@0^@19@2@0#strstr
+^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok
+^330 625$@0@@1@tp0$@0#memset
+^331 628$^@19@3@0#strerror
+^332 630$^$@0#strlen
+*1 (Constant)
+^333 5$#CLOCKS_PER_SEC
+*0 (Datatype)
+^334 13@-@-@0@0@0@0@631#clock_t
+^335 13@-@-@0@0@0@0@632#time_t
+*4 (Function)
+^336 635$@0@s1@1@s1$@0#clock
+^337 637$^$@0#difftime
+^338 639$^$@0#mktime
+^339 642$@0@@1@tp0$@0#time
+^340 645$@0@g24@6@0@1@g24@19@3@0#asctime
+^341 648$^@19@3@0#ctime
+^342 651@6@5@1@0@0^@19@3@0#gmtime
+^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime
+^344 656$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^345 13@-@-@0@0@0@0@657#int8_t
+^346 13@-@-@0@0@0@0@658#int16_t
+^347 13@-@-@0@0@0@0@659#int32_t
+^348 13@-@-@0@0@0@0@660#int64_t
+^349 14@-@-@0@0@0@0@661#uint8_t
+^350 14@-@-@0@0@0@0@662#uint16_t
+^351 14@-@-@0@0@0@0@663#uint32_t
+^352 14@-@-@0@0@0@0@664#uint64_t
+^353 13@-@-@0@0@0@0@665#int_least8_t
+^354 13@-@-@0@0@0@0@666#int_least16_t
+^355 13@-@-@0@0@0@0@667#int_least32_t
+^356 13@-@-@0@0@0@0@668#int_least64_t
+^357 14@-@-@0@0@0@0@669#uint_least8_t
+^358 14@-@-@0@0@0@0@670#uint_least16_t
+^359 14@-@-@0@0@0@0@671#uint_least32_t
+^360 14@-@-@0@0@0@0@672#uint_least64_t
+^361 13@-@-@0@0@0@0@673#int_fast8_t
+^362 13@-@-@0@0@0@0@674#int_fast16_t
+^363 13@-@-@0@0@0@0@675#int_fast32_t
+^364 13@-@-@0@0@0@0@676#int_fast64_t
+^365 14@-@-@0@0@0@0@677#uint_fast8_t
+^366 14@-@-@0@0@0@0@678#uint_fast16_t
+^367 14@-@-@0@0@0@0@679#uint_fast32_t
+^368 14@-@-@0@0@0@0@680#uint_fast64_t
+^369 24@-@+@0@0@0@0@681#intptr_t
+^370 25@-@+@0@0@0@0@682#uintptr_t
+^371 15@-@-@0@0@0@0@683#intmax_t
+^372 14@-@-@0@0@0@0@684#uintmax_t
+*1 (Constant)
+^373 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
+^409 63$#INTPTR_MIN#INTPTR_MAX
+*0 (Datatype)
+^411 0@+@+@0@7@0@0@685#mnull
+;; 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:
+;; end precondition constraints
+fgets
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+calloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+malloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+realloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+memcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+;; end precondition constraints
+memmove
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+;; end precondition constraints
+strcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@4
+l
+1
+3
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 1
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+strcat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
+;; end precondition constraints
+strchr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strrchr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strstr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+memset
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+strlen
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+asctime
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+ctime
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
 ;; Modules access
 lltX_bool#1@
 types#1@
-ansi#9@
+standard#9@
 null6#11@
 ;;End
This page took 0.151274 seconds and 4 git commands to generate.