-;;LCLint Dump: null6.lcd
-;;LCLint 2.5m --- 20 May 2000
-;;lib:167
+;;; Splint Library null6.lcd
+;;Splint 3.0.0.20 --- 5 October 2001
+;;lib:169
;;ctTable
0 u-2 19 38
0 p1|-2 20 39
2 y17|17&
2 y18|18&
-2 ?!
-0 s2|&
-0 s3|&
-0 s4|&
-0 s5|&
-0 s6|&
-0 s15|&
-0 s16|&
-0 s7|-1 383 -1
-0 s8|&
-0 a0|-1 401 -1
+0 a0|&
+0 s10|&
+0 s11|&
+0 s12|&
+0 s23|&
+0 s24|&
+0 s25|&
+0 s26|-1 383 -1
+0 s27|&
+0 a28|-1 401 -1
3 C0.5/20|!
3 C0.68/2|!
3 C0.2/5|!
3 f0 (70|@7|$#,)!
3 f1 (70|@7|$#,)!
-3 C0.4/5|!
-3 C0.3/5|!
-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.5/3|!
+3 f0 (73|$#,)!
+3 f2 (73|$#,)!
+3 f70 (73|$#,)!
+3 f0 (73|$#,)!
+3 f2 (73|$#,)!
+3 f70 (73|$#,)!
+3 f0 (73|$#,)!
+3 f2 (73|$#,)!
+3 f70 (73|$#,)!
+3 f0 (73|$#,)!
+3 f2 (73|$#,)!
+3 f70 (73|$#,)!
+3 f0 (73|$#,)!
+3 f2 (73|$#,)!
3 C0.2/5|!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f87 (74|$#,)!
-3 C0.4/5|!
-3 C0.3/5|!
-3 f0 (92|$#,)!
-3 f2 (92|$#,)!
-3 f87 (92|$#,)!
-3 f0 (92|$#,)!
-3 f2 (92|$#,)!
-3 f87 (92|$#,)!
-3 f0 (92|$#,)!
-3 f2 (92|$#,)!
-3 f87 (92|$#,)!
-3 f0 (92|$#,)!
-3 f2 (92|$#,)!
+3 f88 (73|$#,)!
+3 C0.5/3|!
+3 f0 (90|$#,)!
+3 f2 (90|$#,)!
+3 f88 (90|$#,)!
+3 f0 (90|$#,)!
+3 f2 (90|$#,)!
+3 f88 (90|$#,)!
+3 f0 (90|$#,)!
+3 f2 (90|$#,)!
+3 f88 (90|$#,)!
+3 f0 (90|$#,)!
+3 f2 (90|$#,)!
+3 f88 (90|$#,)!
+3 f0 (90|$#,)!
+3 f2 (90|$#,)!
3 C0.2/5|!
-3 f104 (92|$#,)!
-3 f0 (92|$#,)!
-3 f2 (92|$#,)!
-3 f104 (92|$#,)!
+3 f105 (90|$#,)!
+3 C0.5/3|!
+3 f0 (107|$#,)!
+3 f2 (107|$#,)!
+3 f105 (107|$#,)!
3 C0.4/5|!
-3 C0.3/5|!
-3 f0 (110|$#,)!
-3 f2 (110|$#,)!
-3 f104 (110|$#,)!
-3 f0 (110|$#,)!
-3 f4 (110|$#,)!
-3 f109 (110|$#,)!
-3 f0 (110|$#,)!
-3 f4 (110|$#,)!
-3 f109 (110|$#,)!
+3 f0 (107|$#,)!
+3 f4 (107|$#,)!
+3 f111 (107|$#,)!
+3 f0 (107|$#,)!
+3 f4 (107|$#,)!
+3 f111 (107|$#,)!
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 127 -1
+0 s45|-1 125 -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 t121|121&
-3 f127 ()!
+1 t119|119&
+3 f125 ()!
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 (173|4@0@7&#,)!
-3 f5 (173|4@0@7&#,)!
-3 f0 (173|$#,5|$#,)!
-3 f1 (173|$#,5|$#,)!
-0 s9|&
+0 a123|&
+3 f0 (171|4@0@7&#,)!
+3 f5 (171|4@0@7&#,)!
+3 f0 (171|$#,5|$#,)!
+3 f1 (171|$#,5|$#,)!
+0 s132|&
3 ?!
-3 f179 (5|$#,)!
-3 f1 (5|$#,)^182
-1 t181|181&
+3 f177 (5|$#,)!
+3 f1 (5|$#,)^180
+1 t179|179&
3 ?!
-3 f183 (5|$#,)!
-3 f1 (5|$#,)^186
-1 t185|185&
+3 f181 (5|$#,)!
+3 f1 (5|$#,)^184
+1 t183|183&
3 ?!
-3 f187 (5|$#,)!
-3 f1 (5|$#,)^190
-1 t189|189&
+3 f185 (5|$#,)!
+3 f1 (5|$#,)^188
+1 t187|187&
3 ?!
-3 f191 (5|$#,)!
-3 f1 (5|$#,)^194
-1 t193|193&
-3 f0 (5|$#,194|0@5@7&#,)!
-3 f19 (5|$#,194|0@5@7&#,)^197
-1 t196|196&
+3 f189 (5|$#,)!
+3 f1 (5|$#,)^192
+1 t191|191&
+3 f0 (5|$#,192|0@5@7&#,)!
+3 f19 (5|$#,192|0@5@7&#,)^195
+1 t194|194&
3 ?!
-3 f198 (5|$#,)!
+3 f196 (5|$#,)!
3 f19 (5|$#,)!
-3 f1 (5|$#,194|0@5@7&#,)!
+3 f1 (5|$#,192|0@5@7&#,)!
3 f1 (5|$#,)!
-3 f202 (5|$#,194|0@5@7&#,)!
+3 f200 (5|$#,192|0@5@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
-0 a18|&
-3 f0 (206|4@0@7&#,!.,)!
-3 f1 (206|4@0@7&#,!.,)!
-3 f0 (206|$#,)!
-3 f1 (206|$#,)!
-0 a19|-1 213 -1
-0 a20|-1 289 -1
-1 t211|211&
+0 a138|&
+3 f0 (204|4@0@7&#,!.,)!
+3 f1 (204|4@0@7&#,!.,)!
+3 f0 (204|$#,)!
+3 f1 (204|$#,)!
+0 a141|-1 211 -1
+0 a142|-1 289 -1
+1 t209|209&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 ()!
3 f19 ()!
-3 f213 ()!
+3 f211 ()!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
-3 f0 (213|$#,)!
-3 f5 (213|$#,)!
-3 f0 (213|0@5@7&#,)!
-3 f5 (213|0@5@7&#,)!
+3 f0 (211|$#,)!
+3 f5 (211|$#,)!
+3 f0 (211|0@5@7&#,)!
+3 f5 (211|0@5@7&#,)!
3 f0 (23|$#,23|$#,)!
3 f19 (23|$#,23|$#,)!
-3 f213 (23|$#,23|$#,)!
-3 f0 (23|$#,23|$#,213|$#,)!
-3 f19 (23|$#,23|$#,213|$#,)!
-3 f213 (23|$#,23|$#,213|$#,)!
-3 f0 (213|$#,23|0@5@19@2@0#,)!
-3 f1 (213|$#,23|0@5@19@2@0#,)!
-3 f0 (213|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
-3 f5 (213|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
+3 f211 (23|$#,23|$#,)!
+3 f0 (23|$#,23|$#,211|$#,)!
+3 f19 (23|$#,23|$#,211|$#,)!
+3 f211 (23|$#,23|$#,211|$#,)!
+3 f0 (211|$#,23|0@5@19@2@0#,)!
+3 f1 (211|$#,23|0@5@19@2@0#,)!
+3 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
+3 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
3 C0.5/1|!
-3 f0 (213|$#,23|$#,!.,)!
-3 f5 (213|$#,23|$#,!.,)!
-3 f238 (213|$#,23|$#,!.,)!
-3 f0 (213|$#,23|$#,!.,)!
-3 f5 (213|$#,23|$#,!.,)!
+3 f0 (211|$#,23|$#,!.,)!
+3 f5 (211|$#,23|$#,!.,)!
+3 f236 (211|$#,23|$#,!.,)!
+3 f0 (211|$#,23|$#,!.,)!
+3 f5 (211|$#,23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
-3 f238 (23|$#,!.,)!
+3 f236 (23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f238 (23|4@0@7&#,23|$#,!.,)!
+3 f236 (23|4@0@7&#,23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (213|$#,23|$#,206|$#,)!
-3 f5 (213|$#,23|$#,206|$#,)!
-3 f0 (23|$#,206|$#,)!
-3 f5 (23|$#,206|$#,)!
-3 f0 (23|4@0@7&#,23|$#,206|$#,)!
-3 f5 (23|4@0@7&#,23|$#,206|$#,)!
-3 f0 (213|$#,)!
-3 f5 (213|$#,)!
-3 f0 (23|@5|4@0@7&#,5|$#,213|$#,)!
-3 f19 (23|@5|4@0@7&#,5|$#,213|$#,)!
-3 f23 (23|@5|4@0@7&#,5|$#,213|$#,)!
+3 f0 (23|$#,204|$#,)!
+3 f5 (23|$#,204|$#,)!
+3 f0 (211|$#,23|$#,204|$#,)!
+3 f5 (211|$#,23|$#,204|$#,)!
+3 f0 (23|4@0@7&#,23|$#,204|$#,)!
+3 f5 (23|4@0@7&#,23|$#,204|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
+3 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
+3 f0 (211|$#,)!
+3 f5 (211|$#,)!
+3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
+3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
+3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
3 C0.5/4|!
-3 f0 (265|$#,213|$#,)!
-3 f5 (265|$#,213|$#,)!
-3 f0 (23|$#,213|$#,)!
-3 f5 (23|$#,213|$#,)!
-3 f0 (213|@7|$#,)!
-3 f5 (213|@7|$#,)!
+3 f0 (265|$#,211|$#,)!
+3 f5 (265|$#,211|$#,)!
+3 f0 (23|$#,211|$#,)!
+3 f5 (23|$#,211|$#,)!
+3 f0 (211|@7|$#,)!
+3 f5 (211|@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 (265|$#,213|@7|$#,)!
-3 f5 (265|$#,213|@7|$#,)!
+3 f0 (265|$#,211|@7|$#,)!
+3 f5 (265|$#,211|@7|$#,)!
3 f0 (265|$#,)!
3 f5 (265|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
-3 f0 (265|$#,213|$#,)!
-3 f5 (265|$#,213|$#,)!
-3 f0 (20|4@0@7&#,63|$#,63|$#,213|$#,)!
-3 f63 (20|4@0@7&#,63|$#,63|$#,213|$#,)!
-3 f0 (20|$#,63|$#,63|$#,213|$#,)!
-3 f63 (20|$#,63|$#,63|$#,213|$#,)!
-1 t212|212&
-3 f0 (213|$#,289|4@0@7&#,)!
-3 f5 (213|$#,289|4@0@7&#,)!
-3 f0 (213|$#,9|$#,5|$#,)!
-3 f5 (213|$#,9|$#,5|$#,)!
-3 f0 (213|$#,289|$#,)!
-3 f5 (213|$#,289|$#,)!
-3 f0 (213|$#,)!
-3 f9 (213|$#,)!
-3 f0 (213|$#,)!
-3 f1 (213|$#,)!
-3 f0 (213|$#,)!
-3 f1 (213|$#,)!
-3 f0 (213|$#,)!
-3 f5 (213|$#,)!
-3 f0 (213|$#,)!
-3 f5 (213|$#,)!
+3 f0 (265|$#,211|$#,)!
+3 f5 (265|$#,211|$#,)!
+3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
+3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
+3 f0 (20|$#,63|$#,63|$#,211|$#,)!
+3 f63 (20|$#,63|$#,63|$#,211|$#,)!
+1 t210|210&
+3 f0 (211|$#,289|4@0@7&#,)!
+3 f5 (211|$#,289|4@0@7&#,)!
+3 f0 (211|$#,9|$#,5|$#,)!
+3 f5 (211|$#,9|$#,5|$#,)!
+3 f0 (211|$#,289|$#,)!
+3 f5 (211|$#,289|$#,)!
+3 f0 (211|$#,)!
+3 f9 (211|$#,)!
+3 f0 (211|$#,)!
+3 f1 (211|$#,)!
+3 f0 (211|$#,)!
+3 f1 (211|$#,)!
+3 f0 (211|$#,)!
+3 f5 (211|$#,)!
+3 f0 (211|$#,)!
+3 f5 (211|$#,)!
3 f0 (23|0@5@7&#,)!
3 f1 (23|0@5@7&#,)!
3 f0 (23|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|$#quot,5|@1|$#rem,}!
-0 s339|&
-0 s21|&
+0 s221|&
+0 s222|&
3 f0 (5|$#,5|$#,)!
3 f369 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|$#quot,9|@1|$#rem,}!
-0 s340|&
-0 s22|&
+0 s225|&
+0 s226|&
3 f0 (9|$#,9|$#,)!
3 f376 (9|$#,9|$#,)!
3 f0 (5|$#,)!
3 f66 (5|$#,)!
-3 f0 (213|$#,)!
-3 f66 (213|$#,)!
+3 f0 (211|$#,)!
+3 f66 (211|$#,)!
1 t65|65 465 -1
-3 f0 (383|@5|$#,5|$#,213|$#,)!
-3 f19 (383|@5|$#,5|$#,213|$#,)!
-3 f383 (383|@5|$#,5|$#,213|$#,)!
-3 f0 (65|$#,213|$#,)!
-3 f66 (65|$#,213|$#,)!
-3 f0 (383|$#,213|$#,)!
-3 f5 (383|$#,213|$#,)!
-3 f0 (213|$#,5|$#,)!
-3 f5 (213|$#,5|$#,)!
-3 f0 (213|$#,383|$#,!.,)!
-3 f5 (213|$#,383|$#,!.,)!
-3 f0 (213|$#,383|$#,!.,)!
-3 f5 (213|$#,383|$#,!.,)!
-3 f0 (213|@7|$#,)!
-3 f66 (213|@7|$#,)!
+3 f0 (383|@5|$#,5|$#,211|$#,)!
+3 f19 (383|@5|$#,5|$#,211|$#,)!
+3 f383 (383|@5|$#,5|$#,211|$#,)!
+3 f0 (65|$#,211|$#,)!
+3 f66 (65|$#,211|$#,)!
+3 f0 (383|$#,211|$#,)!
+3 f5 (383|$#,211|$#,)!
+3 f0 (211|$#,5|$#,)!
+3 f5 (211|$#,5|$#,)!
+3 f0 (211|$#,383|$#,!.,)!
+3 f5 (211|$#,383|$#,!.,)!
+3 f0 (211|$#,383|$#,!.,)!
+3 f5 (211|$#,383|$#,!.,)!
+3 f0 (211|@7|$#,)!
+3 f66 (211|@7|$#,)!
3 f0 ()!
3 f66 ()!
1 t67|67&
3 f5 (401|0@5@7&#,)!
3 f0 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)!
3 f63 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)!
-3 f0 (65|$#,213|@7|$#,)!
-3 f66 (65|$#,213|@7|$#,)!
+3 f0 (65|$#,211|@7|$#,)!
+3 f66 (65|$#,211|@7|$#,)!
3 f0 (65|$#,)!
3 f66 (65|$#,)!
3 f0 (383|$#,63|$#,383|$#,!.,)!
3 f5 (383|$#,63|$#,383|$#,!.,)!
3 f0 (383|$#,383|$#,!.,)!
3 f5 (383|$#,383|$#,!.,)!
-3 f0 (66|$#,213|$#,)!
-3 f66 (66|$#,213|$#,)!
-3 f0 (213|$#,383|$#,206|$#,)!
-3 f5 (213|$#,383|$#,206|$#,)!
-3 f0 (383|$#,63|$#,383|$#,206|$#,)!
-3 f5 (383|$#,63|$#,383|$#,206|$#,)!
-3 f0 (383|$#,206|$#,)!
-3 f5 (383|$#,206|$#,)!
+3 f0 (66|$#,211|$#,)!
+3 f66 (66|$#,211|$#,)!
+3 f0 (211|$#,383|$#,204|$#,)!
+3 f5 (211|$#,383|$#,204|$#,)!
+3 f0 (383|$#,63|$#,383|$#,204|$#,)!
+3 f5 (383|$#,63|$#,383|$#,204|$#,)!
+3 f0 (383|$#,204|$#,)!
+3 f5 (383|$#,204|$#,)!
3 f0 (23|4@5@7&#,65|$#,401|0@5@7&#,)!
3 f63 (23|4@5@7&#,65|$#,401|0@5@7&#,)!
3 C0.1/383|!
3 f428 (383|@5|4@0@9&#,383|$#,)!
3 f0 (383|$#,383|$#,)!
3 f63 (383|$#,383|$#,)!
-0 s341|-1 445 -1
+0 s261|-1 445 -1
1 t444|444&
3 f0 (383|4@0@7&#,63|$#,383|$#,445|$#,)!
3 f63 (383|4@0@7&#,63|$#,383|$#,445|$#,)!
3 f5 (383|$#,!.,)!
3 f0 (383|$#,!.,)!
3 f5 (383|$#,!.,)!
-0 s10|&
-0 s11|&
+0 s285|&
+0 s286|&
3 C0.2/5|!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
3 f576 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f576 (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 f576 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f0 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f576 (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 f576 (23|@5|0@0@9&#,23|$#,63|$#,)!
3 f0 (20|$#,20|$#,63|$#,)!
3 f5 (20|$#,20|$#,63|$#,)!
3 f0 (23|$#,23|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f63 (23|$#,)!
-0 s12|&
-0 s13|-1 639 -1
+0 s332|&
+0 s333|-1 639 -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 f630 ()!
3 f445 (639|$#,)!
3 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
3 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
-0 a1|&
-0 s14|&
+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|&
+0 a409|&
;;tistable
0
-0,17
-17
-0,17,18
-18
-0,17,18,19
-19
-0,17,18,19,20
-20
-1
+28
+28,123
+123
+28,123,138
+138
+28,123,138,141
+141
+28,123,138,141,142
+142
+409
;;symTable
*0 (Datatype)
-0@+@=@0@7@0@0@67#mbstate_t
-0@+@+@0@7@0@0@656#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@178#sig_atomic_t
-13@-@-@0@0@0@0@504#wctype_t
-13@-@-@0@0@0@0@505#wctrans_t
-13@-@-@0@0@0@0@630#clock_t
-13@-@-@0@0@0@0@631#time_t
-13@-@-@0@0@0@0@657#__PTRDIFF_TYPE__
-14@-@-@0@0@0@0@63#size_t
-15@-@-@0@0@0@0@64#ssize_t
-20@+@+@0@0@0@0@173#jmp_buf
-20@+@+@0@0@0@0@206#va_list
-20@+@+@0@0@0@0@211#FILE
-20@+@+@0@0@0@0@212#fpos_t
-367@-@-@0@0@0@0@369#div_t
-374@-@-@0@0@0@0@376#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$#__LCLINT__
+*3 (Variable)
+^17 211|@1|6@0@0@0@1#stdin#stdout
+*1 (Constant)
+^19 5$#EDOM#ERANGE#EILSEQ
+*3 (Variable)
+^22 5|@1|6@0@0@0@1#errno
+*0 (Datatype)
+^23 13@-@-@0@0@0@0@62#ptrdiff_t
+^24 14@-@-@0@0@0@0@63#size_t
+^25 15@-@-@0@0@0@0@64#ssize_t
+^26 13@-@-@0@0@0@0@65#wchar_t
+^27 13@-@-@0@0@0@0@66#wint_t
+^28 0@+@=@0@7@0@0@67#mbstate_t
+*1 (Constant)
+^29 0@i0@0@6#NULL
+^30 2$#NDEBUG
+*4 (Function)
+^31 72@6@0@8@0@0^$@0#assert
+^32 76$^$@0#isalnum
+^33 79$^$@0#isalpha
+^34 82$^$@0#iscntrl
+^35 85$^$@0#isdigit
+^36 89$^$@0#isgraph
+^37 93$^$@0#islower
+^38 96$^$@0#isprint
+^39 99$^$@0#ispunct
+^40 102$^$@0#isspace
+^41 106$^$@0#isupper
+^42 110$^$@0#isxdigit
+^43 114$^$@0#tolower
+^44 117$^$@0#toupper
+*7 (Struct tag)
+^45 118@119#@lconv
+*1 (Constant)
+^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
+*4 (Function)
+^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
+^53 126$^@3@0@0#localeconv
+*3 (Variable)
+^54 5|@1|6@0@0@0@1#DBL_DIG
+^55 17|@1|6@0@0@0@1#DBL_EPSILON
+^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
+^57 17|@1|6@0@0@0@1#DBL_MAX
+^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
+^60 17|@1|6@0@0@0@1#DBL_MIN
+^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
+^64 16|@1|6@0@0@0@1#FLT_EPSILON
+^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
+^66 16|@1|6@0@0@0@1#FLT_MAX
+^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
+^69 16|@1|6@0@0@0@1#FLT_MIN
+^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
+*1 (Constant)
+^72 5$#FLT_RADIX
+*3 (Variable)
+^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
+^75 18|@1|6@0@0@0@1#LDBL_EPSILON
+^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
+^77 18|@1|6@0@0@0@1#LDBL_MAX
+^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
+^80 18|@1|6@0@0@0@1#LDBL_MIN
+^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
+*1 (Constant)
+^83 5$#CHAR_BIT
+^84 4$#CHAR_MAX#CHAR_MIN
+^86 5$#INT_MAX#INT_MIN
+^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
+^91 4$#SCHAR_MAX#SCHAR_MIN
+^93 7$#SHRT_MAX#SHRT_MIN
+^95 3$#UCHAR_MAX#UCHAR_MIN
+^97 6$#UINT_MAX
+^98 10$#ULONG_MAX
+^99 8$#USHRT_MAX
+^100 17$#HUGE_VAL
+*4 (Function)
+^101 128$^$@0#sin
+^102 130$^$@0#cos
+^103 132$^$@0#tan
+^104 134$@0@g22@6@0@1@g22$@0#asin
+^105 136$@0@g22@6@0@1@g22$@0#acos
+^106 138$^$@0#atan
+^107 140$^$@0#atan2
+^108 142$^$@0#sinh
+^109 144$@0@g22@6@0@1@g22$@0#cosh
+^110 146$^$@0#tanh
+^111 148$@0@g22@6@0@1@g22$@0#exp
+^112 150$@0@g22@6@0@1@g22$@0#ldexp
+^113 152$@0@@1@tp1$@0#frexp
+^114 154$@0@g22@6@0@1@g22$@0#log
+^115 156$@0@g22@6@0@1@g22$@0#log10
+^116 158$@0@g22@6@0@1@g22$@0#pow
+^117 160$@0@g22@6@0@1@g22$@0#sqrt
+^118 162$^$@0#ceil
+^119 164$^$@0#floor
+^120 166$^$@0#fabs
+^121 168$@0@@1@tp1$@0#modf
+^122 170$^$@0#fmod
+*0 (Datatype)
+^123 20@+@+@0@0@0@0@171#jmp_buf
+*4 (Function)
+^124 173$@0@@1@p0$@0#setjmp
+^125 175@6@0@5@0@0^$@0#longjmp
+*1 (Constant)
+^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
+*0 (Datatype)
+^132 13@-@-@0@0@0@0@176#sig_atomic_t
*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
-182$#SIG_DFL
-186$#SIG_ERR
-190$#SIG_IGN
+^133 180$#SIG_DFL
+^134 184$#SIG_ERR
+^135 188$#SIG_IGN
+*4 (Function)
+^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
+^137 203@6@0@5@0@0$$@0#raise
+*0 (Datatype)
+^138 20@+@+@0@0@0@0@204#va_list
+*4 (Function)
+^139 206$@0@@1@p0$@0#va_start
+^140 208$@0@@1@p0$@0#va_end
+*0 (Datatype)
+^141 20@+@+@0@0@0@0@209#FILE
+^142 20@+@+@0@0@0@0@210#fpos_t
+*1 (Constant)
+^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
*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
-213|@1|0@0@0@0@1#stderr#stdin#stdout
+^155 211|@1|6@0@0@0@1#stderr
+*4 (Function)
+^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
+^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
+^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
+^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
+^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
+^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
+^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
+^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
+^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
+^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
+^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
+^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^171 251@6@0@1@2@0^$@0#sscanf
+^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
+^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^175 259$@0@@1@p0$@0#vsnprintf
+^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^179 269$@0@s3@1@s3,tp1$@0#fputs
+^180 271$@0@s3@1@s3,tp0$@0#getc
+^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
+^182 276@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 278$@0@s3@1@s3,tp1$@0#putc
+^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
+^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts
+^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^192 297$@0@g22@6@0@1@g22$@0#ftell
+^193 299$@0@@1@tp0$@0#rewind
+^194 301$@0@@1@tp0$@0#clearerr
+^195 303$@0@g22@6@0@1@g22$@0#feof
+^196 305$@0@g22@6@0@1@g22$@0#ferror
+^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^198 309$^$@0#atof
+^199 311$^$@0#atoi
+^200 313$^$@0#atol
+^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod
+^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol
+^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul
+*1 (Constant)
+^204 5$#RAND_MAX
+*4 (Function)
+^205 323$@0@s1@1@s1$@0#rand
+^206 325$@0@s1@1@s1$@0#srand
+^207 328@6@5@1@0@0^@2@0@0#calloc
+^208 331@4@5@1@0@0^@2@0@0#malloc
+^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^210 336$@0@@1@p0$@0#free
+*1 (Constant)
+^211 5$#EXIT_FAILURE#EXIT_SUCCESS
+*4 (Function)
+^213 338@6@0@6@0@0^$@0#abort
+^214 340@6@0@6@0@0^$@0#exit
+^215 346$@0@s1@1@s1$@0#atexit
+^216 349@6@5@1@0@0^@19@3@0#getenv
+^217 351$@0@s3@1@s3$@0#system
+^218 358@6@5@1@0@0^@18@0@0#bsearch
+^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort
+^220 366$^$@0#abs
+*7 (Struct tag)
+^221 367@368#@!2
+*0 (Datatype)
+^222 367@-@-@0@0@0@0@369#div_t
+*4 (Function)
+^223 371$^$@0#div
+^224 373$^$@0#labs
+*7 (Struct tag)
+^225 374@375#@!3
+*0 (Datatype)
+^226 374@-@-@0@0@0@0@376#ldiv_t
+*4 (Function)
+^227 378$^$@0#ldiv
+*1 (Constant)
+^228 63$#MB_CUR_MAX
+^229 5$#WCHAR_MAX#WCHAR_MIN
+^231 66$#WEOF
*4 (Function)
-364$@0@g113@0@0@1@tp0,g113$@0#qsort
-177@6@0@5@0@0@1@@1@s0$@0#longjmp
-208$@0@@1@p0$@0#va_start
-235$@0@s3@1@s3,tp0,tp1$@0#setbuf
-340@6@0@6@0@0@1@@1@s0$@0#exit
-325$@0@s1@1@s1$@0#srand
-336$@0@@1@tp0$@0#free
-307$@1@g113@0@0,g123@0@0,s3@1@s3,tg123$@0#perror
-210$@0@@1@p0$@0#va_end
-301$@0@@1@tp0$@0#clearerr#rewind
-72@6@0@8@0@0@1@@1@s0$@0#assert
-338@6@0@6@0@0@1@@1@s0$@0#abort
-237$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-423$@0@@1@tp0$@0#vswprintf
-415@6@0@1@1@0@0@@1@tp0$@0#swprintf
-590$@1@@1@s0$@0#memcmp
-596$@1@@1@s0$@0#strncmp
-259$@0@@1@tp0,p2$@0#vsprintf
-253@6@0@1@2@0@1@@1@s0$@0#sscanf
-293$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fseek
-255$@0@s3,g113@0@0@1@s3,tp0,p2,g113$@0#vfprintf
-243@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
-421$@0@s3@1@s3,tp0$@0#vfwprintf
-394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
-396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
-455$@1@@1@s0$@0#wcsncmp#wmemcmp
-417@6@0@1@2@0@0@g124@0@0@1@tg124$@0#swscanf
-562$@0@@1@tp0$@0#mbtowc
-217$@0@s3,g113@0@0@1@s3,g113$@0#rename
-592$@1@@1@s0$@0#strcmp#strcoll
-560$@1@@1@s0$@0#mblen
-257$@1@g125@0@0,s3@1@s3,p1,tg125$@0#vprintf
-269$@0@s3@1@s3,tp1$@0#fputs
-248@6@0@1@2@0@1@g124@0@0,s3@1@s3,tg124$@0#scanf
-564$@0@@1@tp0$@0#wctomb
-392$@1@@1@s0$@0#fwide
-295$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fsetpos
-291$@0@g113@0@0@1@tp1,g113$@0#fgetpos
-425$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf
-390$@0@s3@1@s3,tp1$@0#fputws
-436$@1@@1@s0$@0#wcscmp#wcscoll
-501@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf
-503@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf
-267$@0@s3,g113@0@0@1@s3,tp1,g113$@0#fputc#ungetc
-278$@0@s3@1@s3,tp1$@0#putc
-366$@1@@1@s0$@0#abs
-205@6@0@5@0@0$$@0#raise
-282$@1@g125@0@0,s3@1@s3,tg125$@0#puts
-215$@0@s3,g113@0@0@1@s3,g113$@0#remove
-311$@1@@1@s0$@0#atoi
-351$@0@s3@1@s3$@0#system
-485$@1@@1@s0$@0#wctob
-175$@0@@1@p0$@0#setjmp
-225$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fclose#fgetc
-303$@0@g113@0@0@1@g113$@0#feof#ferror
-271$@0@s3@1@s3,tp0$@0#getc
-227$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fflush
-346$@0@s1@1@s1$@0#atexit
-407$@1@@1@s0$@0#mbsinit
-280$@1@g125@0@0,s3@1@s3,tg125$@0#putchar
-273$@1@g124@0@0,s3@1@s3,tg124$@0#getchar
-323$@0@s1@1@s1$@0#rand
-319$@0@g113@0@0@1@tp1,g113$@0#strtol
-479$@0@@1@tp1$@0#wcstol
-373$@1@@1@s0$@0#labs
-313$@1@@1@s0$@0#atol
-297$@0@g113@0@0@1@g113$@0#ftell
-321$@0@g113@0@0@1@tp1,g113$@0#strtoul
-481$@0@@1@tp1$@0#wcstoul
-152$@0@g113@0@0@1@g113$@0#ldexp
-160$@0@g113@0@0@1@g113$@0#pow
-142$@1@@1@s0$@0#atan2#fmod
-154$@0@@1@tp1$@0#frexp
-170$@0@@1@tp1$@0#modf
-317$@0@g113@0@0@1@tp1,g113$@0#strtod
-474$@0@@1@tp1$@0#wcstod
-636$@1@@1@s0$@0#difftime
-138$@0@g113@0@0@1@g113$@0#acos#asin#cosh#exp#log#log10#sqrt
-140$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh
-309$@1@@1@s0$@0#atof
-358@6@5@1@0@0@1@@1@s0@18@0@0#bsearch
-601@6@5@1@0@0@1@@1@s0@3@0@0#memchr
-334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
-328@6@5@1@0@0@1@@1@s0@2@0@0#calloc
-331@4@5@1@0@0@1@@1@s0@2@0@0#malloc
-264@6@5@1@0@0@0@s3,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets
-124@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@19@3@0#setlocale
-609@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
-604@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr
-620@6@5@1@0@0@0@s1,g113@0@0@1@tp0,s1,g113@19@2@0#strtok
-617@6@5@1@0@0@1@@1@s0@19@2@0#strstr
-627$@1@@1@s0@19@3@0#strerror
-349@6@5@1@0@0@1@@1@s0@19@3@0#getenv
-276@6@5@1@0@0@1@g124@0@0,s3,g113@0@0@1@s3,tp0,tg124,g113@3@0@0#gets
-223$@0@s1@1@tp0,s1@19@3@0#tmpnam
-644$@0@g113@0@0@1@g113@19@3@0#asctime
-647$@1@@1@s0@19@3@0#ctime
-288$@0@s3,g113@0@0@1@s3,tp3,g113$@0#fwrite
-286$@0@s3,g113@0@0@1@s3,tp0,tp3,g113$@0#fread
-467$@0@@1@tp1$@0#wcsrtombs
-655$@0@@1@tp0$@0#strftime
-405$@0@@1@tp0$@0#mbrtowc
-409$@0@@1@tp0$@0#mbsrtowcs
-447$@0@@1@tp0$@0#wcsftime
-403$@1@@1@s0$@0#mbrlen
-568$@0@@1@tp0$@0#wcstombs
-598$@0@@1@tp0$@0#strxfrm
-427$@0@@1@tp0$@0#wcrtomb
-483$@0@@1@tp0$@0#wcsxfrm
-566$@0@@1@tp0$@0#mbstowcs
-606$@1@@1@s0$@0#strcspn#strspn
-443$@1@@1@s0$@0#wcscspn#wcsspn
-629$@1@@1@s0$@0#strlen
-449$@1@@1@s0$@0#wcslen
-388$@0@s3@1@s3,tp1$@0#fputwc
-411$@0@s3@1@s3,tp1$@0#putwc
-419$@0@s3@1@s3,tp1$@0#ungetwc
-380$@1@@1@s0$@0#btowc
-413$@0@s3,g125@0@0@1@s3,tg125$@0#putwchar
-382$@0@s3@1@s3,tp0$@0#fgetwc
-398$@0@s3@1@s3,tp0$@0#getwc
-400$@0@s3,g124@0@0@1@s3,tg124$@0#getwchar
-128$@1@@1@s0@3@0@0#localeconv
-233@6@5@1@0@0@0@s3,g113@0@0@1@tp2,s3,g113@3@0@0#freopen
-230@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
-220@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
-371$@1@@1@s0$@0#div
-378$@1@@1@s0$@0#ldiv
-488@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr
-386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
-499$@0@@1@tp0$@0#wmemset
-493$@0@@1@tp0$@0#wmemcpy#wmemmove
-477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
-472@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr
-464@6@5@1@0@0@1@@1@s0$@0#wcsrchr
-434@6@5@1@0@0@1@@1@s0@19@2@0#wcschr
-461@6@5@1@0@0@1@@1@s0$@0#wcspbrk
-653@6@5@1@0@0@0@g113@0@0@1@g113@19@3@0#localtime
-650@6@5@1@0@0@1@@1@s0@19@3@0#gmtime
-558$@1@@1@s0$@0#wctype
-556$@1@@1@s0$@0#wctrans
-634$@0@s1@1@s1$@0#clock
-638$@1@@1@s0$@0#mktime
-641$@0@@1@tp0$@0#time
-203@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113$@0#signal
-624$@0@@1@tp0$@0#memset
-575$@0@@1@tp0$@0#memmove
-572$@0@@1@tp0$@0#memcpy
-588$@0@@1@tp0$@0#strncat
-582$@0@@1@tp0$@0#strncpy
-585$@0@@1@tp0$@0#strcat#strcpy
-453$@0@@1@tp0$@0#wcsncat#wcsncpy
-431$@0@@1@tp0$@0#wcscat#wcscpy
-518$@1@@1@s0$@0#iswctype
-509$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit
-77$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit
-116$@1@@1@s0$@0#tolower#toupper
-251@6@0@1@1@0@0@@1@tp0$@0#sprintf
-241@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
-246@6@0@1@1@0@1@g125@0@0,s3@1@s3,tg125$@0#printf
-548$@1@@1@s0$@0#towctrans
-551$@1@@1@s0$@0#towlower#towupper
+^232 380$^$@0#btowc
+^233 382$@0@s3@1@s3,tp0$@0#fgetwc
+^234 386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^235 388$@0@s3@1@s3,tp1$@0#fputwc
+^236 390$@0@s3@1@s3,tp1$@0#fputws
+^237 392$^$@0#fwide
+^238 394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^239 396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^240 398$@0@s3@1@s3,tp0$@0#getwc
+^241 400$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
+^242 403$^$@0#mbrlen
+^243 405$@0@@1@tp0$@0#mbrtowc
+^244 407$^$@0#mbsinit
+^245 409$@0@@1@tp0$@0#mbsrtowcs
+^246 411$@0@s3@1@s3,tp1$@0#putwc
+^247 413$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
+^248 415@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^249 417@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
+^250 419$@0@s3@1@s3,tp1$@0#ungetwc
+^251 421$@0@s3@1@s3,tp0$@0#vfwprintf
+^252 423$@0@@1@tp0$@0#vswprintf
+^253 425$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
+^254 427$@0@@1@tp0$@0#wcrtomb
+^255 431$@0@@1@tp0$@0#wcscat
+^256 434@6@5@1@0@0^@19@2@0#wcschr
+^257 436$^$@0#wcscmp
+^258 438$^$@0#wcscoll
+^259 441$@0@@1@tp0$@0#wcscpy
+^260 443$^$@0#wcscspn
*7 (Struct tag)
-367@368#@!2
-374@375#@!3
-632@444#@tm
-120@121#@lconv
+^261 632@444#@tm
+*4 (Function)
+^262 447$@0@@1@tp0$@0#wcsftime
+^263 449$^$@0#wcslen
+^264 453$@0@@1@tp0$@0#wcsncat
+^265 455$^$@0#wcsncmp
+^266 458$@0@@1@tp0$@0#wcsncpy
+^267 461@6@5@1@0@0^$@0#wcspbrk
+^268 464@6@5@1@0@0^$@0#wcsrchr
+^269 467$@0@@1@tp1$@0#wcsrtombs
+^270 469$^$@0#wcsspn
+^271 472@6@5@1@0@0^@3@0@0#wcsstr
+^272 474$@0@@1@tp1$@0#wcstod
+^273 477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^274 479$@0@@1@tp1$@0#wcstol
+^275 481$@0@@1@tp1$@0#wcstoul
+^276 483$@0@@1@tp0$@0#wcsxfrm
+^277 485$^$@0#wctob
+^278 488@6@5@1@0@0^@3@0@0#wmemchr
+^279 490$^$@0#wmemcmp
+^280 493$@0@@1@tp0$@0#wmemcpy
+^281 496$@0@@1@tp0$@0#wmemmove
+^282 499$@0@@1@tp0$@0#wmemset
+^283 501@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
+^284 503@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
+*0 (Datatype)
+^285 13@-@-@0@0@0@0@504#wctype_t
+^286 13@-@-@0@0@0@0@505#wctrans_t
+*4 (Function)
+^287 509$^$@0#iswalnum
+^288 512$^$@0#iswalpha
+^289 515$^$@0#iswcntrl
+^290 518$^$@0#iswctype
+^291 521$^$@0#iswdigit
+^292 525$^$@0#iswgraph
+^293 528$^$@0#iswlower
+^294 531$^$@0#iswprint
+^295 534$^$@0#iswpunct
+^296 537$^$@0#iswspace
+^297 540$^$@0#iswupper
+^298 544$^$@0#iswxdigit
+^299 548$^$@0#towctrans
+^300 551$^$@0#towlower
+^301 554$^$@0#towupper
+^302 556$^$@0#wctrans
+^303 558$^$@0#wctype
+^304 560$^$@0#mblen
+^305 562$@0@@1@tp0$@0#mbtowc
+^306 564$@0@@1@tp0$@0#wctomb
+^307 566$@0@@1@tp0$@0#mbstowcs
+^308 568$@0@@1@tp0$@0#wcstombs
+^309 572$@0@@1@tp0$@0#memcpy
+^310 575$@0@@1@tp0$@0#memmove
+^311 579$@0@@1@tp0$@0#strcpy
+^312 582$@0@@1@tp0$@0#strncpy
+^313 585$@0@@1@tp0$@0#strcat
+^314 588$@0@@1@tp0$@0#strncat
+^315 590$^$@0#memcmp
+^316 592$^$@0#strcmp
+^317 594$^$@0#strcoll
+^318 596$^$@0#strncmp
+^319 598$@0@@1@tp0$@0#strxfrm
+^320 601@6@5@1@0@0^@3@0@0#memchr
+^321 604@6@5@1@0@0^@19@2@0#strchr
+^322 606$^$@0#strcspn
+^323 609@6@5@1@0@0^@19@2@0#strpbrk
+^324 612@6@5@1@0@0^@19@2@0#strrchr
+^325 614$^$@0#strspn
+^326 617@6@5@1@0@0^@19@2@0#strstr
+^327 620@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
+^328 624$@0@@1@tp0$@0#memset
+^329 627$^@19@3@0#strerror
+^330 629$^$@0#strlen
+*1 (Constant)
+^331 5$#CLOCKS_PER_SEC
+*0 (Datatype)
+^332 13@-@-@0@0@0@0@630#clock_t
+^333 13@-@-@0@0@0@0@631#time_t
+*4 (Function)
+^334 634$@0@s1@1@s1$@0#clock
+^335 636$^$@0#difftime
+^336 638$^$@0#mktime
+^337 641$@0@@1@tp0$@0#time
+^338 644$@0@g22@6@0@1@g22@19@3@0#asctime
+^339 647$^@19@3@0#ctime
+^340 650@6@5@1@0@0^@19@3@0#gmtime
+^341 653@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
+^342 655$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@656#int8_t
+^344 13@-@-@0@0@0@0@657#int16_t
+^345 13@-@-@0@0@0@0@658#int32_t
+^346 13@-@-@0@0@0@0@659#int64_t
+^347 14@-@-@0@0@0@0@660#uint8_t
+^348 14@-@-@0@0@0@0@661#uint16_t
+^349 14@-@-@0@0@0@0@662#uint32_t
+^350 14@-@-@0@0@0@0@663#uint64_t
+^351 13@-@-@0@0@0@0@664#int_least8_t
+^352 13@-@-@0@0@0@0@665#int_least16_t
+^353 13@-@-@0@0@0@0@666#int_least32_t
+^354 13@-@-@0@0@0@0@667#int_least64_t
+^355 14@-@-@0@0@0@0@668#uint_least8_t
+^356 14@-@-@0@0@0@0@669#uint_least16_t
+^357 14@-@-@0@0@0@0@670#uint_least32_t
+^358 14@-@-@0@0@0@0@671#uint_least64_t
+^359 13@-@-@0@0@0@0@672#int_fast8_t
+^360 13@-@-@0@0@0@0@673#int_fast16_t
+^361 13@-@-@0@0@0@0@674#int_fast32_t
+^362 13@-@-@0@0@0@0@675#int_fast64_t
+^363 14@-@-@0@0@0@0@676#uint_fast8_t
+^364 14@-@-@0@0@0@0@677#uint_fast16_t
+^365 14@-@-@0@0@0@0@678#uint_fast32_t
+^366 14@-@-@0@0@0@0@679#uint_fast64_t
+^367 24@-@+@0@0@0@0@680#intptr_t
+^368 25@-@+@0@0@0@0@681#uintptr_t
+^369 15@-@-@0@0@0@0@682#intmax_t
+^370 14@-@-@0@0@0@0@683#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
+*0 (Datatype)
+^409 0@+@+@0@7@0@0@684#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
+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
-ansi#8@
-null6#10@
+lltX_bool#1@
+types#1@
+ansi#9@
+null6#11@
;;End
andersk / splint.git / blobdiff