X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/fc7004c8ef22b5f374da13651f7941bfd28785a1..33c9434a110bcc94b81a4c75b07a371eb5c3d39a:/test/null6.lcd diff --git a/test/null6.lcd b/test/null6.lcd index 773abd2..9ec0a01 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -1,6 +1,6 @@ -;;LCLint Dump: null6.lcd -;;LCLint 2.5q --- 20 May 2000 -;;lib:166 +;;; Splint Library null6.lcd +;;Splint 3.0.1.1 --- 09 Jan 2002 +;;lib:298 ;;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 312 -1 +1 t0|0 315 -1 1 t1|1& 1 t2|2& 1 t3|3& -1 t4|4 313 -1 +1 t4|4 316 -1 1 t5|5& 1 t6|6& 1 t7|7& @@ -60,75 +60,76 @@ 2 y17|17& 2 y18|18& -2 ?! -0 a2|& -0 s3|& -0 s4|& -0 s5|& -0 s6|& -0 s15|& -0 s16|& -0 s7|-1 381 -1 -0 s8|& -0 a0|-1 399 -1 +0 a0|& +0 s10|& +0 s11|& +0 s12|& +0 s24|& +0 s25|& +0 s26|& +0 s27|-1 384 -1 +0 s28|& +0 a29|-1 402 -1 3 C0.5/20|! 3 C0.68/2|! 3 C0.2/5|! 3 f0 (70|@7|$#,)! 3 f1 (70|@7|$#,)! -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.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 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 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 f105 (90|$#,)! -3 C0.5/3|! -3 f0 (107|$#,)! -3 f2 (107|$#,)! -3 f105 (107|$#,)! +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 (107|$#,)! -3 f4 (107|$#,)! -3 f111 (107|$#,)! -3 f0 (107|$#,)! -3 f4 (107|$#,)! -3 f111 (107|$#,)! +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 125 -1 +0 s46|-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 t119|119& -3 f125 ()! +1 t120|120& +3 f126 ()! 3 f0 (17|$#,)! 3 f17 (17|$#,)! 3 f0 (17|$#,)! @@ -173,139 +174,141 @@ 3 f17 (17|$#,36|4@0@7&#,)! 3 f0 (17|$#,17|$#,)! 3 f17 (17|$#,17|$#,)! -0 a17|& -3 f0 (171|4@0@7&#,)! -3 f5 (171|4@0@7&#,)! -3 f0 (171|$#,5|$#,)! -3 f1 (171|$#,5|$#,)! -0 s9|& +0 a124|& +3 f0 (172|4@0@7&#,)! +3 f5 (172|4@0@7&#,)! +3 f0 (172|$#,5|$#,)! +3 f1 (172|$#,5|$#,)! +0 s133|& 3 ?! -3 f177 (5|$#,)! -3 f1 (5|$#,)^180 -1 t179|179& +3 f178 (5|$#,)! +3 f1 (5|$#,)^181 +1 t180|180& 3 ?! -3 f181 (5|$#,)! -3 f1 (5|$#,)^184 -1 t183|183& +3 f182 (5|$#,)! +3 f1 (5|$#,)^185 +1 t184|184& 3 ?! -3 f185 (5|$#,)! -3 f1 (5|$#,)^188 -1 t187|187& +3 f186 (5|$#,)! +3 f1 (5|$#,)^189 +1 t188|188& 3 ?! -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 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 f196 (5|$#,)! +3 f197 (5|$#,)! 3 f19 (5|$#,)! -3 f1 (5|$#,192|0@5@7&#,)! +3 f1 (5|$#,193|0@5@7&#,)! 3 f1 (5|$#,)! -3 f200 (5|$#,192|0@5@7&#,)! +3 f201 (5|$#,193|0@5@7&#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! -0 a18|& -3 f0 (204|4@0@7&#,!.,)! -3 f1 (204|4@0@7&#,!.,)! -3 f0 (204|$#,)! -3 f1 (204|$#,)! -0 a19|-1 211 -1 -0 a20|-1 287 -1 -1 t209|209& +0 a139|& +3 f0 (205|4@0@7&#,!.,)! +3 f1 (205|4@0@7&#,!.,)! +3 f0 (205|$#,)! +3 f1 (205|$#,)! +0 a142|-1 212 -1 +0 a143|-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 f211 ()! +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 (211|$#,)! -3 f5 (211|$#,)! -3 f0 (211|0@5@7&#,)! -3 f5 (211|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 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 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 (211|$#,23|$#,!.,)! -3 f5 (211|$#,23|$#,!.,)! -3 f236 (211|$#,23|$#,!.,)! -3 f0 (211|$#,23|$#,!.,)! -3 f5 (211|$#,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 f236 (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 f236 (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 (211|$#,23|$#,204|$#,)! -3 f5 (211|$#,23|$#,204|$#,)! -3 f0 (23|$#,204|$#,)! -3 f5 (23|$#,204|$#,)! -3 f0 (23|4@0@7&#,23|$#,204|$#,)! -3 f5 (23|4@0@7&#,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 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 (263|$#,211|$#,)! -3 f5 (263|$#,211|$#,)! -3 f0 (23|$#,211|$#,)! -3 f5 (23|$#,211|$#,)! -3 f0 (211|@7|$#,)! -3 f5 (211|@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 (263|$#,211|@7|$#,)! -3 f5 (263|$#,211|@7|$#,)! -3 f0 (263|$#,)! -3 f5 (263|$#,)! +3 f0 (266|$#,212|@7|$#,)! +3 f5 (266|$#,212|@7|$#,)! +3 f0 (266|$#,)! +3 f5 (266|$#,)! 3 f0 (23|$#,)! 3 f5 (23|$#,)! -3 f0 (263|$#,211|$#,)! -3 f5 (263|$#,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|$#,287|4@0@7&#,)! -3 f5 (211|$#,287|4@0@7&#,)! -3 f0 (211|$#,9|$#,5|$#,)! -3 f5 (211|$#,9|$#,5|$#,)! -3 f0 (211|$#,287|$#,)! -3 f5 (211|$#,287|$#,)! -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 (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|$#,)! @@ -316,12 +319,12 @@ 3 f9 (23|$#,)! 1 t19|19& 1 t23|23& -3 f0 (23|$#,313|4@5@7&#,)! -3 f17 (23|$#,313|4@5@7&#,)! -3 f0 (23|$#,313|4@5@7&#,5|$#,)! -3 f9 (23|$#,313|4@5@7&#,5|$#,)! -3 f0 (23|$#,313|4@5@7&#,5|$#,)! -3 f10 (23|$#,313|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|$#,)! @@ -342,253 +345,253 @@ 3 f0 (5|$#,)! 3 f1 (5|$#,)! 3 ?! -3 f339 ()! -3 f1 ()^342 -1 t341|341& -3 f0 (342|$#,)! -3 f5 (342|$#,)! +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 f350 (20|$#,20|$#,)! -3 f5 (20|$#,20|$#,)^353 -1 t352|352& -3 f0 (20|$#,20|$#,63|$#,63|$#,353|$#,)! -3 f19 (20|$#,20|$#,63|$#,63|$#,353|$#,)! -3 f20 (20|$#,20|$#,63|$#,63|$#,353|$#,)! +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 f357 (20|$#,20|$#,)! -3 f5 (20|$#,20|$#,)^360 -1 t359|359& -3 f0 (20|$#,63|$#,63|$#,360|$#,)! -3 f1 (20|$#,63|$#,63|$#,360|$#,)! +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 s222|& +0 s223|& 3 f0 (5|$#,5|$#,)! -3 f367 (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 s226|& +0 s227|& 3 f0 (9|$#,9|$#,)! -3 f374 (9|$#,9|$#,)! +3 f377 (9|$#,9|$#,)! 3 f0 (5|$#,)! 3 f66 (5|$#,)! -3 f0 (211|$#,)! -3 f66 (211|$#,)! -1 t65|65 463 -1 -3 f0 (381|@5|$#,5|$#,211|$#,)! -3 f19 (381|@5|$#,5|$#,211|$#,)! -3 f381 (381|@5|$#,5|$#,211|$#,)! -3 f0 (65|$#,211|$#,)! -3 f66 (65|$#,211|$#,)! -3 f0 (381|$#,211|$#,)! -3 f5 (381|$#,211|$#,)! -3 f0 (211|$#,5|$#,)! -3 f5 (211|$#,5|$#,)! -3 f0 (211|$#,381|$#,!.,)! -3 f5 (211|$#,381|$#,!.,)! -3 f0 (211|$#,381|$#,!.,)! -3 f5 (211|$#,381|$#,!.,)! -3 f0 (211|@7|$#,)! -3 f66 (211|@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|$#,399|0@5@7&#,)! -3 f63 (23|$#,63|$#,399|0@5@7&#,)! -3 f0 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)! -3 f63 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)! -3 f0 (399|0@5@7&#,)! -3 f5 (399|0@5@7&#,)! -3 f0 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)! -3 f63 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)! -3 f0 (65|$#,211|@7|$#,)! -3 f66 (65|$#,211|@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 (381|$#,63|$#,381|$#,!.,)! -3 f5 (381|$#,63|$#,381|$#,!.,)! -3 f0 (381|$#,381|$#,!.,)! -3 f5 (381|$#,381|$#,!.,)! -3 f0 (66|$#,211|$#,)! -3 f66 (66|$#,211|$#,)! -3 f0 (211|$#,381|$#,204|$#,)! -3 f5 (211|$#,381|$#,204|$#,)! -3 f0 (381|$#,63|$#,381|$#,204|$#,)! -3 f5 (381|$#,63|$#,381|$#,204|$#,)! -3 f0 (381|$#,204|$#,)! -3 f5 (381|$#,204|$#,)! -3 f0 (23|4@5@7&#,65|$#,399|0@5@7&#,)! -3 f63 (23|4@5@7&#,65|$#,399|0@5@7&#,)! -3 C0.1/381|! -3 f0 (381|@5|4@0@9&#,381|$#,)! -3 f1 (381|@5|4@0@9&#,381|$#,)! -3 f426 (381|@5|4@0@9&#,381|$#,)! -3 f0 (381|@5|$#,65|$#,)! -3 f19 (381|@5|$#,65|$#,)! -3 f381 (381|@5|$#,65|$#,)! -3 f0 (381|$#,381|$#,)! -3 f5 (381|$#,381|$#,)! -3 f0 (381|$#,381|$#,)! -3 f5 (381|$#,381|$#,)! -3 f0 (381|@5|4@0@9&#,381|$#,)! -3 f1 (381|@5|4@0@9&#,381|$#,)! -3 f426 (381|@5|4@0@9&#,381|$#,)! -3 f0 (381|$#,381|$#,)! -3 f63 (381|$#,381|$#,)! -0 s341|-1 443 -1 -1 t442|442& -3 f0 (381|4@0@7&#,63|$#,381|$#,443|$#,)! -3 f63 (381|4@0@7&#,63|$#,381|$#,443|$#,)! -3 f0 (381|$#,)! -3 f63 (381|$#,)! -3 C0.1/381|! -3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f0 (381|$#,381|$#,63|$#,)! -3 f5 (381|$#,381|$#,63|$#,)! -3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)! -3 f0 (381|@5|$#,381|$#,)! -3 f19 (381|@5|$#,381|$#,)! -3 f381 (381|@5|$#,381|$#,)! -3 f0 (381|@5|$#,65|$#,)! -3 f19 (381|@5|$#,65|$#,)! -3 f381 (381|@5|$#,65|$#,)! -1 t381|381& -3 f0 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)! -3 f63 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)! -3 f0 (381|$#,381|$#,)! -3 f63 (381|$#,381|$#,)! -3 f0 (381|$#,381|$#,)! -3 f19 (381|$#,381|$#,)! -3 f381 (381|$#,381|$#,)! -3 f0 (381|$#,463|0@5@7&#,)! -3 f17 (381|$#,463|0@5@7&#,)! -3 f0 (381|0@5@7&#,381|$#,463|$#,)! -3 f19 (381|0@5@7&#,381|$#,463|$#,)! -3 f381 (381|0@5@7&#,381|$#,463|$#,)! -3 f0 (381|$#,463|0@5@7&#,5|$#,)! -3 f9 (381|$#,463|0@5@7&#,5|$#,)! -3 f0 (381|$#,463|0@5@7&#,5|$#,)! -3 f10 (381|$#,463|0@5@7&#,5|$#,)! -3 f0 (381|0@5@7&#,381|$#,63|$#,)! -3 f63 (381|0@5@7&#,381|$#,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 s262|-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 (381|$#,65|$#,63|$#,)! -3 f19 (381|$#,65|$#,63|$#,)! -3 f381 (381|$#,65|$#,63|$#,)! -3 f0 (381|$#,381|$#,63|$#,)! -3 f5 (381|$#,381|$#,63|$#,)! -3 f0 (381|@5|$#,381|$#,63|$#,)! -3 f19 (381|@5|$#,381|$#,63|$#,)! -3 f381 (381|@5|$#,381|$#,63|$#,)! -3 f0 (381|@5|$#,381|$#,63|$#,)! -3 f19 (381|@5|$#,381|$#,63|$#,)! -3 f381 (381|@5|$#,381|$#,63|$#,)! -3 f0 (381|@5|$#,65|$#,63|$#,)! -3 f19 (381|@5|$#,65|$#,63|$#,)! -3 f381 (381|@5|$#,65|$#,63|$#,)! -3 f0 (381|$#,!.,)! -3 f5 (381|$#,!.,)! -3 f0 (381|$#,!.,)! -3 f5 (381|$#,!.,)! -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 s286|& +0 s287|& 3 C0.2/5|! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! -3 f0 (66|$#,502|$#,)! -3 f2 (66|$#,502|$#,)! -3 f504 (66|$#,502|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,505|$#,)! +3 f2 (66|$#,505|$#,)! +3 f507 (66|$#,505|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! 3 C0.2/5|! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 C0.2/5|! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f539 (66|$#,)! +3 f542 (66|$#,)! 3 C0.66/5|! -3 f0 (66|$#,503|$#,)! -3 f66 (66|$#,503|$#,)! -3 f543 (66|$#,503|$#,)! +3 f0 (66|$#,506|$#,)! +3 f66 (66|$#,506|$#,)! +3 f546 (66|$#,506|$#,)! 3 f0 (66|$#,)! 3 f66 (66|$#,)! -3 f543 (66|$#,)! +3 f546 (66|$#,)! 3 f0 (66|$#,)! 3 f66 (66|$#,)! -3 f543 (66|$#,)! +3 f546 (66|$#,)! 3 f0 (23|$#,)! -3 f503 (23|$#,)! +3 f506 (23|$#,)! 3 f0 (23|$#,)! -3 f502 (23|$#,)! +3 f505 (23|$#,)! 3 f0 (23|$#,63|$#,)! 3 f5 (23|$#,63|$#,)! -3 f0 (381|0@5@7&#,23|0@5@7&#,63|$#,)! -3 f5 (381|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 (381|4@0@7&#,23|$#,63|$#,)! -3 f63 (381|4@0@7&#,23|$#,63|$#,)! -3 f0 (23|4@0@7&#,381|$#,63|$#,)! -3 f63 (23|4@0@7&#,381|$#,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 f567 (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 f567 (20|@5|4@0@7&#,20|$#,63|$#,)! +3 f570 (20|@5|4@0@7&#,20|$#,63|$#,)! 3 C0.1/23|! -3 f0 (23|4@0@9&#,23|$#,)! -3 f1 (23|4@0@9&#,23|$#,)! -3 f574 (23|4@0@9&#,23|$#,)! -3 f0 (23|4@0@9&#,23|$#,63|$#,)! -3 f1 (23|4@0@9&#,23|$#,63|$#,)! -3 f574 (23|4@0@9&#,23|$#,63|$#,)! -3 f0 (23|4@0@9&#,23|$#,)! -3 f1 (23|4@0@9&#,23|$#,)! -3 f574 (23|4@0@9&#,23|$#,)! -3 f0 (23|4@0@9&#,23|$#,5|$#,)! -3 f1 (23|4@0@9&#,23|$#,5|$#,)! -3 f574 (23|4@0@9&#,23|$#,5|$#,)! +3 f0 (23|@5|4@0@9&#,23|$#,)! +3 f1 (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 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|$#,)! @@ -602,17 +605,17 @@ 3 f0 (20|$#,5|$#,63|$#,)! 3 f19 (20|$#,5|$#,63|$#,)! 3 f20 (20|$#,5|$#,63|$#,)! -3 f0 (23|$#,263|$#,)! -3 f19 (23|$#,263|$#,)! -3 f23 (23|$#,263|$#,)! +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|$#,263|$#,)! -3 f19 (23|@5|$#,263|$#,)! -3 f23 (23|@5|$#,263|$#,)! +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|$#,)! @@ -624,275 +627,1222 @@ 3 C0.1/20|! 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)! 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)! -3 f619 (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 637 -1 +0 s333|& +0 s334|-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 f628 ()! -3 f0 (629|$#,629|$#,)! -3 f17 (629|$#,629|$#,)! -3 f0 (443|$#,)! -3 f629 (443|$#,)! -1 t629|629& -3 f0 (637|4@5@7&#,)! -3 f629 (637|4@5@7&#,)! -3 f0 (443|$#,)! -3 f19 (443|$#,)! -3 f23 (443|$#,)! -3 f0 (637|$#,)! -3 f19 (637|$#,)! -3 f23 (637|$#,)! -3 f0 (637|$#,)! -3 f19 (637|$#,)! -3 f443 (637|$#,)! -3 f0 (637|$#,)! -3 f19 (637|$#,)! -3 f443 (637|$#,)! -3 f0 (23|4@0@7&#,63|$#,23|$#,443|$#,)! -3 f63 (23|4@0@7&#,63|$#,23|$#,443|$#,)! -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 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 s371|& +0 a410|& ;;tistable -2 0 -0,17 -17 -0,17,18 -18 -0,17,18,19 -19 -0,17,18,19,20 -20 -1 +29 +29,124 +124 +29,124,139 +139 +29,124,139,142 +142 +29,124,139,142,143 +143 +410 ;;symTable *0 (Datatype) -0@+@=@0@7@0@0@67#mbstate_t -0@+@+@0@7@0@0@654#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@176#sig_atomic_t -13@-@-@0@0@0@0@502#wctype_t -13@-@-@0@0@0@0@503#wctrans_t -13@-@-@0@0@0@0@628#clock_t -13@-@-@0@0@0@0@629#time_t -13@-@-@0@0@0@0@655#__PTRDIFF_TYPE__ -14@-@-@0@0@0@0@63#size_t -15@-@-@0@0@0@0@64#ssize_t -20@+@+@0@0@0@0@171#jmp_buf -20@+@+@0@0@0@0@204#va_list -20@+@+@0@0@0@0@209#FILE -20@+@+@0@0@0@0@210#fpos_t -365@-@-@0@0@0@0@367#div_t -372@-@-@0@0@0@0@374#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__ +*3 (Variable) +^18 212|@1|6@0@0@0@1#stdin#stdout +*1 (Constant) +^20 5$#EDOM#ERANGE#EILSEQ +*3 (Variable) +^23 5|@1|6@0@0@0@1#errno +*0 (Datatype) +^24 13@-@-@0@0@0@0@62#ptrdiff_t +^25 14@-@-@0@0@0@0@63#size_t +^26 15@-@-@0@0@0@0@64#ssize_t +^27 13@-@-@0@0@0@0@65#wchar_t +^28 13@-@-@0@0@0@0@66#wint_t +^29 0@+@=@0@7@0@0@67#mbstate_t +*1 (Constant) +^30 0@i0@0@6#NULL +^31 2$#NDEBUG +*4 (Function) +^32 72@6@0@8@0@0^$@0#assert +^33 77$^$@0#isalnum +^34 80$^$@0#isalpha +^35 83$^$@0#iscntrl +^36 86$^$@0#isdigit +^37 90$^$@0#isgraph +^38 94$^$@0#islower +^39 97$^$@0#isprint +^40 100$^$@0#ispunct +^41 103$^$@0#isspace +^42 107$^$@0#isupper +^43 111$^$@0#isxdigit +^44 115$^$@0#tolower +^45 118$^$@0#toupper +*7 (Struct tag) +^46 119@120#@lconv +*1 (Constant) +^47 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME +*4 (Function) +^53 123@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23@19@3@0#setlocale +^54 127$^@3@0@0#localeconv +*3 (Variable) +^55 5|@1|6@0@0@0@1#DBL_DIG +^56 17|@1|6@0@0@0@1#DBL_EPSILON +^57 5|@1|6@0@0@0@1#DBL_MANT_DIG +^58 17|@1|6@0@0@0@1#DBL_MAX +^59 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP +^61 17|@1|6@0@0@0@1#DBL_MIN +^62 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG +^65 16|@1|6@0@0@0@1#FLT_EPSILON +^66 5|@1|6@0@0@0@1#FLT_MANT_DIG +^67 16|@1|6@0@0@0@1#FLT_MAX +^68 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP +^70 16|@1|6@0@0@0@1#FLT_MIN +^71 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP +*1 (Constant) +^73 5$#FLT_RADIX +*3 (Variable) +^74 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG +^76 18|@1|6@0@0@0@1#LDBL_EPSILON +^77 5|@1|6@0@0@0@1#LDBL_MANT_DIG +^78 18|@1|6@0@0@0@1#LDBL_MAX +^79 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP +^81 18|@1|6@0@0@0@1#LDBL_MIN +^82 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP +*1 (Constant) +^84 5$#CHAR_BIT +^85 4$#CHAR_MAX#CHAR_MIN +^87 5$#INT_MAX#INT_MIN +^89 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX +^92 4$#SCHAR_MAX#SCHAR_MIN +^94 7$#SHRT_MAX#SHRT_MIN +^96 3$#UCHAR_MAX#UCHAR_MIN +^98 6$#UINT_MAX +^99 10$#ULONG_MAX +^100 8$#USHRT_MAX +^101 17$#HUGE_VAL +*4 (Function) +^102 129$^$@0#sin +^103 131$^$@0#cos +^104 133$^$@0#tan +^105 135$@0@g23@6@0@1@g23$@0#asin +^106 137$@0@g23@6@0@1@g23$@0#acos +^107 139$^$@0#atan +^108 141$^$@0#atan2 +^109 143$^$@0#sinh +^110 145$@0@g23@6@0@1@g23$@0#cosh +^111 147$^$@0#tanh +^112 149$@0@g23@6@0@1@g23$@0#exp +^113 151$@0@g23@6@0@1@g23$@0#ldexp +^114 153$@0@@1@tp1$@0#frexp +^115 155$@0@g23@6@0@1@g23$@0#log +^116 157$@0@g23@6@0@1@g23$@0#log10 +^117 159$@0@g23@6@0@1@g23$@0#pow +^118 161$@0@g23@6@0@1@g23$@0#sqrt +^119 163$^$@0#ceil +^120 165$^$@0#floor +^121 167$^$@0#fabs +^122 169$@0@@1@tp1$@0#modf +^123 171$^$@0#fmod +*0 (Datatype) +^124 20@+@+@0@0@0@0@172#jmp_buf +*4 (Function) +^125 174$@0@@1@p0$@0#setjmp +^126 176@6@0@5@0@0^$@0#longjmp +*1 (Constant) +^127 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM +*0 (Datatype) +^133 13@-@-@0@0@0@0@177#sig_atomic_t *1 (Constant) -0@i0@0@6#NULL -2$#NDEBUG -2@i1@0@0#TRUE -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 -180$#SIG_DFL -184$#SIG_ERR -188$#SIG_IGN +^134 181$#SIG_DFL +^135 185$#SIG_ERR +^136 189$#SIG_IGN +*4 (Function) +^137 202@6@5@1@0@0@0@s1,g23@6@0@1@s1,g23$@0#signal +^138 204@6@0@5@0@0$$@0#raise +*0 (Datatype) +^139 20@+@+@0@0@0@0@205#va_list +*4 (Function) +^140 207$@0@@1@p0$@0#va_start +^141 209$@0@@1@p0$@0#va_end +*0 (Datatype) +^142 20@+@+@0@0@0@0@210#FILE +^143 20@+@+@0@0@0@0@211#fpos_t +*1 (Constant) +^144 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 -211|@1|0@0@0@0@1#stderr#stdin#stdout +^156 212|@1|6@0@0@0@1#stderr +*4 (Function) +^157 214$@0@s3,g23@6@0@1@s3,g23$@0#remove +^158 216$@0@s3,g23@6@0@1@s3,g23$@0#rename +^159 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile +^160 222$@0@s1@1@tp0,s1@19@3@0#tmpnam +^161 224$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fclose +^162 226$@0@g23@6@0,s3@1@tp0,g23,s3$@0#fflush +^163 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen +^164 232@6@5@1@0@0@0@s3,g23@6@0@1@tp2,s3,g23@3@0@0#freopen +^165 234$@0@s3@1@s3,tp0,tp1$@0#setbuf +^166 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf +^167 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf +^168 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf +^169 245@6@0@1@1@0@1@g19@6@0,s3@1@s3,tg19$@0#printf +^170 247@6@0@1@2@0@1@g18@6@0,s3@1@s3,tg18$@0#scanf +^171 250@6@0@1@1@0@0@@1@tp0$@0#sprintf +^172 252@6@0@1@2@0^$@0#sscanf +^173 254$@1@g19@6@0,s3@1@s3,tg19$@0#vprintf +^174 256$@0@s3,g23@6@0@1@s3,tp0,p2,g23$@0#vfprintf +^175 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf +^176 260$@0@@1@p0$@0#vsnprintf +^177 262$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fgetc +^178 265@6@5@1@0@0@0@s3,g23@6@0@1@s3,tp0,tp2,g23$@0#fgets +^179 268$@0@s3,g23@6@0@1@s3,tp1,g23$@0#fputc +^180 270$@0@s3@1@s3,tp1$@0#fputs +^181 272$@0@s3@1@s3,tp0$@0#getc +^182 274$@1@g18@6@0,s3@1@s3,tg18$@0#getchar +^183 277@6@5@1@0@0@1@g18@6@0,s3,g23@6@0@1@s3,tp0,tg18,g23@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets +^184 279$@0@s3@1@s3,tp1$@0#putc +^185 281$@1@g19@6@0,s3@1@s3,tg19$@0#putchar +^186 283$@1@g19@6@0,s3@1@s3,tg19$@0#puts +^187 285$@0@s3,g23@6@0@1@s3,tp1,g23$@0#ungetc +^188 287$@0@s3,g23@6@0@1@s3,tp0,tp3,g23$@0#fread +^189 289$@0@s3,g23@6@0@1@s3,tp3,g23$@0#fwrite +^190 292$@0@g23@6@0@1@tp1,g23$@0#fgetpos +^191 294$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fseek +^192 296$@0@s3,g23@6@0@1@s3,tp0,g23$@0#fsetpos +^193 298$@0@g23@6@0@1@g23$@0#ftell +^194 300$@0@@1@tp0$@0#rewind +^195 302$@0@@1@tp0$@0#clearerr +^196 304$@0@g23@6@0@1@g23$@0#feof +^197 306$@0@g23@6@0@1@g23$@0#ferror +^198 308$@1@g23@6@0,g156@6@0,s3@1@s3,tg156$@0#perror +^199 310$^$@0#atof +^200 312$^$@0#atoi +^201 314$^$@0#atol +^202 318$@0@g23@6@0@1@tp1,g23$@0#strtod +^203 320$@0@g23@6@0@1@tp1,g23$@0#strtol +^204 322$@0@g23@6@0@1@tp1,g23$@0#strtoul +*1 (Constant) +^205 5$#RAND_MAX +*4 (Function) +^206 324$@0@s1@1@s1$@0#rand +^207 326$@0@s1@1@s1$@0#srand +^208 329@6@5@1@0@0^@2@0@0#calloc +^209 332@4@5@1@0@0^@2@0@0#malloc +^210 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc +^211 337$@0@@1@p0$@0#free +*1 (Constant) +^212 5$#EXIT_FAILURE#EXIT_SUCCESS +*4 (Function) +^214 339@6@0@6@0@0^$@0#abort +^215 341@6@0@6@0@0^$@0#exit +^216 347$@0@s1@1@s1$@0#atexit +^217 350@6@5@1@0@0^@19@3@0#getenv +^218 352$@0@s3@1@s3$@0#system +^219 359@6@5@1@0@0^@18@0@0#bsearch +^220 365$@0@g23@6@0@1@tp0,g23$@0#qsort +^221 367$^$@0#abs +*7 (Struct tag) +^222 368@369#@!2 +*0 (Datatype) +^223 368@-@-@0@0@0@0@370#div_t +*4 (Function) +^224 372$^$@0#div +^225 374$^$@0#labs +*7 (Struct tag) +^226 375@376#@!3 +*0 (Datatype) +^227 375@-@-@0@0@0@0@377#ldiv_t +*4 (Function) +^228 379$^$@0#ldiv +*1 (Constant) +^229 63$#MB_CUR_MAX +^230 5$#WCHAR_MAX#WCHAR_MIN +^232 66$#WEOF *4 (Function) -362$@0@g113@0@0@1@tp0,g113$@0#qsort -175@6@0@5@0@0@1@@1@s0$@0#longjmp -206$@0@@1@p0$@0#va_start -233$@0@s3@1@s3,tp0,tp1$@0#setbuf -338@6@0@6@0@0@1@@1@s0$@0#exit -323$@0@s1@1@s1$@0#srand -334$@0@@1@tp0$@0#free -305$@1@g113@0@0,g123@0@0,s3@1@s3,tg123$@0#perror -208$@0@@1@p0$@0#va_end -299$@0@@1@tp0$@0#clearerr#rewind -72@6@0@8@0@0@1@@1@s0$@0#assert -336@6@0@6@0@0@1@@1@s0$@0#abort -235$@0@s3@1@s3,tp0,tp1$@0#setvbuf -421$@0@@1@tp0$@0#vswprintf -413@6@0@1@1@0@0@@1@tp0$@0#swprintf -588$@1@@1@s0$@0#memcmp -594$@1@@1@s0$@0#strncmp -257$@0@@1@tp0,p2$@0#vsprintf -251@6@0@1@2@0@1@@1@s0$@0#sscanf -291$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fseek -253$@0@s3,g113@0@0@1@s3,tp0,p2,g113$@0#vfprintf -241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf -419$@0@s3@1@s3,tp0$@0#vfwprintf -392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf -394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf -453$@1@@1@s0$@0#wcsncmp#wmemcmp -415@6@0@1@2@0@0@g124@0@0@1@tg124$@0#swscanf -560$@0@@1@tp0$@0#mbtowc -215$@0@s3,g113@0@0@1@s3,g113$@0#rename -590$@1@@1@s0$@0#strcmp#strcoll -558$@1@@1@s0$@0#mblen -255$@1@g125@0@0,s3@1@s3,p1,tg125$@0#vprintf -267$@0@s3@1@s3,tp1$@0#fputs -246@6@0@1@2@0@1@g124@0@0,s3@1@s3,tg124$@0#scanf -562$@0@@1@tp0$@0#wctomb -390$@1@@1@s0$@0#fwide -293$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fsetpos -289$@0@g113@0@0@1@tp1,g113$@0#fgetpos -423$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf -388$@0@s3@1@s3,tp1$@0#fputws -434$@1@@1@s0$@0#wcscmp#wcscoll -501@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf -499@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf -265$@0@s3,g113@0@0@1@s3,tp1,g113$@0#fputc#ungetc -276$@0@s3@1@s3,tp1$@0#putc -364$@1@@1@s0$@0#abs -203@6@0@5@0@0$$@0#raise -280$@1@g125@0@0,s3@1@s3,tg125$@0#puts -213$@0@s3,g113@0@0@1@s3,g113$@0#remove -309$@1@@1@s0$@0#atoi -349$@0@s3@1@s3$@0#system -483$@1@@1@s0$@0#wctob -173$@0@@1@p0$@0#setjmp -223$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fclose#fgetc -301$@0@g113@0@0@1@g113$@0#feof#ferror -269$@0@s3@1@s3,tp0$@0#getc -225$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fflush -344$@0@s1@1@s1$@0#atexit -405$@1@@1@s0$@0#mbsinit -278$@1@g125@0@0,s3@1@s3,tg125$@0#putchar -271$@1@g124@0@0,s3@1@s3,tg124$@0#getchar -321$@0@s1@1@s1$@0#rand -317$@0@g113@0@0@1@tp1,g113$@0#strtol -477$@0@@1@tp1$@0#wcstol -371$@1@@1@s0$@0#labs -311$@1@@1@s0$@0#atol -295$@0@g113@0@0@1@g113$@0#ftell -319$@0@g113@0@0@1@tp1,g113$@0#strtoul -479$@0@@1@tp1$@0#wcstoul -150$@0@g113@0@0@1@g113$@0#ldexp -158$@0@g113@0@0@1@g113$@0#pow -140$@1@@1@s0$@0#atan2#fmod -152$@0@@1@tp1$@0#frexp -168$@0@@1@tp1$@0#modf -315$@0@g113@0@0@1@tp1,g113$@0#strtod -472$@0@@1@tp1$@0#wcstod -634$@1@@1@s0$@0#difftime -136$@0@g113@0@0@1@g113$@0#acos#asin#cosh#exp#log#log10#sqrt -138$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh -307$@1@@1@s0$@0#atof -356@6@5@1@0@0@1@@1@s0@18@0@0#bsearch -599@6@5@1@0@0@1@@1@s0@3@0@0#memchr -332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc -326@6@5@1@0@0@1@@1@s0@2@0@0#calloc -329@4@5@1@0@0@1@@1@s0@2@0@0#malloc -262@6@5@1@0@0@0@s3,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets -122@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@19@3@0#setlocale -602@6@5@1@0@0@1@@1@s0@19@2@0#strchr -607@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk -610@6@5@1@0@0@1@@1@s0@19@2@0#strrchr -618@6@5@1@0@0@0@s1,g113@0@0@1@tp0,s1,g113@19@2@0#strtok -615@6@5@1@0@0@1@@1@s0@19@2@0#strstr -625$@1@@1@s0@19@3@0#strerror -347@6@5@1@0@0@1@@1@s0@19@3@0#getenv -274@6@5@1@0@0@1@g124@0@0,s3,g113@0@0@1@s3,tp0,tg124,g113@3@0@0#gets -221$@0@s1@1@tp0,s1@19@3@0#tmpnam -642$@0@g113@0@0@1@g113@19@3@0#asctime -645$@1@@1@s0@19@3@0#ctime -286$@0@s3,g113@0@0@1@s3,tp3,g113$@0#fwrite -284$@0@s3,g113@0@0@1@s3,tp0,tp3,g113$@0#fread -465$@0@@1@tp1$@0#wcsrtombs -653$@0@@1@tp0$@0#strftime -403$@0@@1@tp0$@0#mbrtowc -407$@0@@1@tp0$@0#mbsrtowcs -445$@0@@1@tp0$@0#wcsftime -401$@1@@1@s0$@0#mbrlen -566$@0@@1@tp0$@0#wcstombs -596$@0@@1@tp0$@0#strxfrm -425$@0@@1@tp0$@0#wcrtomb -481$@0@@1@tp0$@0#wcsxfrm -564$@0@@1@tp0$@0#mbstowcs -604$@1@@1@s0$@0#strcspn#strspn -441$@1@@1@s0$@0#wcscspn#wcsspn -627$@1@@1@s0$@0#strlen -447$@1@@1@s0$@0#wcslen -386$@0@s3@1@s3,tp1$@0#fputwc -409$@0@s3@1@s3,tp1$@0#putwc -417$@0@s3@1@s3,tp1$@0#ungetwc -378$@1@@1@s0$@0#btowc -411$@0@s3,g125@0@0@1@s3,tg125$@0#putwchar -380$@0@s3@1@s3,tp0$@0#fgetwc -396$@0@s3@1@s3,tp0$@0#getwc -398$@0@s3,g124@0@0@1@s3,tg124$@0#getwchar -126$@1@@1@s0@3@0@0#localeconv -231@6@5@1@0@0@0@s3,g113@0@0@1@tp2,s3,g113@3@0@0#freopen -228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen -218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile -369$@1@@1@s0$@0#div -376$@1@@1@s0$@0#ldiv -486@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr -384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws -497$@0@@1@tp0$@0#wmemset -491$@0@@1@tp0$@0#wmemcpy#wmemmove -475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok -470@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr -462@6@5@1@0@0@1@@1@s0$@0#wcsrchr -432@6@5@1@0@0@1@@1@s0@19@2@0#wcschr -459@6@5@1@0@0@1@@1@s0$@0#wcspbrk -651@6@5@1@0@0@0@g113@0@0@1@g113@19@3@0#localtime -648@6@5@1@0@0@1@@1@s0@19@3@0#gmtime -556$@1@@1@s0$@0#wctype -554$@1@@1@s0$@0#wctrans -632$@0@s1@1@s1$@0#clock -636$@1@@1@s0$@0#mktime -639$@0@@1@tp0$@0#time -201@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113$@0#signal -622$@0@@1@tp0$@0#memset -573$@0@@1@tp0$@0#memmove -570$@0@@1@tp0$@0#memcpy -586$@0@@1@tp0@3@0@0#strncat -580$@0@@1@tp0@3@0@0#strncpy -583$@0@@1@tp0@3@0@0#strcat#strcpy -451$@0@@1@tp0$@0#wcsncat#wcsncpy -429$@0@@1@tp0$@0#wcscat#wcscpy -516$@1@@1@s0$@0#iswctype -507$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit -76$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit -114$@1@@1@s0$@0#tolower#toupper -249@6@0@1@1@0@0@@1@tp0$@0#sprintf -239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf -244@6@0@1@1@0@1@g125@0@0,s3@1@s3,tg125$@0#printf -546$@1@@1@s0$@0#towctrans -549$@1@@1@s0$@0#towlower#towupper +^233 381$^$@0#btowc +^234 383$@0@s3@1@s3,tp0$@0#fgetwc +^235 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws +^236 389$@0@s3@1@s3,tp1$@0#fputwc +^237 391$@0@s3@1@s3,tp1$@0#fputws +^238 393$^$@0#fwide +^239 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf +^240 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf +^241 399$@0@s3@1@s3,tp0$@0#getwc +^242 401$@0@s3,g18@6@0@1@s3,tg18$@0#getwchar +^243 404$^$@0#mbrlen +^244 406$@0@@1@tp0$@0#mbrtowc +^245 408$^$@0#mbsinit +^246 410$@0@@1@tp0$@0#mbsrtowcs +^247 412$@0@s3@1@s3,tp1$@0#putwc +^248 414$@0@s3,g19@6@0@1@s3,tg19$@0#putwchar +^249 416@6@0@1@1@0@0@@1@tp0$@0#swprintf +^250 418@6@0@1@2@0@0@g18@6@0@1@tg18$@0#swscanf +^251 420$@0@s3@1@s3,tp1$@0#ungetwc +^252 422$@0@s3@1@s3,tp0$@0#vfwprintf +^253 424$@0@@1@tp0$@0#vswprintf +^254 426$@0@s3,g19@6@0@1@s3,tg19$@0#vwprintf +^255 428$@0@@1@tp0$@0#wcrtomb +^256 432$@0@@1@tp0$@0#wcscat +^257 435@6@5@1@0@0^@19@2@0#wcschr +^258 437$^$@0#wcscmp +^259 439$^$@0#wcscoll +^260 442$@0@@1@tp0$@0#wcscpy +^261 444$^$@0#wcscspn *7 (Struct tag) -365@366#@!2 -372@373#@!3 -630@442#@tm -118@119#@lconv +^262 633@445#@tm +*4 (Function) +^263 448$@0@@1@tp0$@0#wcsftime +^264 450$^$@0#wcslen +^265 454$@0@@1@tp0$@0#wcsncat +^266 456$^$@0#wcsncmp +^267 459$@0@@1@tp0$@0#wcsncpy +^268 462@6@5@1@0@0^$@0#wcspbrk +^269 465@6@5@1@0@0^$@0#wcsrchr +^270 468$@0@@1@tp1$@0#wcsrtombs +^271 470$^$@0#wcsspn +^272 473@6@5@1@0@0^@3@0@0#wcsstr +^273 475$@0@@1@tp1$@0#wcstod +^274 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok +^275 480$@0@@1@tp1$@0#wcstol +^276 482$@0@@1@tp1$@0#wcstoul +^277 484$@0@@1@tp0$@0#wcsxfrm +^278 486$^$@0#wctob +^279 489@6@5@1@0@0^@3@0@0#wmemchr +^280 491$^$@0#wmemcmp +^281 494$@0@@1@tp0$@0#wmemcpy +^282 497$@0@@1@tp0$@0#wmemmove +^283 500$@0@@1@tp0$@0#wmemset +^284 502@6@0@1@1@0@1@g19@6@0,g23@6@0@1@g23,tg19$@0#wprintf +^285 504@6@0@1@2@0@1@g18@6@0,g23@6@0@1@g23,tg18$@0#wscanf +*0 (Datatype) +^286 13@-@-@0@0@0@0@505#wctype_t +^287 13@-@-@0@0@0@0@506#wctrans_t +*4 (Function) +^288 510$^$@0#iswalnum +^289 513$^$@0#iswalpha +^290 516$^$@0#iswcntrl +^291 519$^$@0#iswctype +^292 522$^$@0#iswdigit +^293 526$^$@0#iswgraph +^294 529$^$@0#iswlower +^295 532$^$@0#iswprint +^296 535$^$@0#iswpunct +^297 538$^$@0#iswspace +^298 541$^$@0#iswupper +^299 545$^$@0#iswxdigit +^300 549$^$@0#towctrans +^301 552$^$@0#towlower +^302 555$^$@0#towupper +^303 557$^$@0#wctrans +^304 559$^$@0#wctype +^305 561$^$@0#mblen +^306 563$@0@@1@tp0$@0#mbtowc +^307 565$@0@@1@tp0$@0#wctomb +^308 567$@0@@1@tp0$@0#mbstowcs +^309 569$@0@@1@tp0$@0#wcstombs +^310 573$@0@@1@tp0$@0#memcpy +^311 576$@0@@1@tp0$@0#memmove +^312 580$@0@@1@tp0$@0#strcpy +^313 583$@0@@1@tp0$@0#strncpy +^314 586$@0@@1@tp0$@0#strcat +^315 589$@0@@1@tp0$@0#strncat +^316 591$^$@0#memcmp +^317 593$^$@0#strcmp +^318 595$^$@0#strcoll +^319 597$^$@0#strncmp +^320 599$@0@@1@tp0$@0#strxfrm +^321 602@6@5@1@0@0^@3@0@0#memchr +^322 605@6@5@1@0@0^@19@2@0#strchr +^323 607$^$@0#strcspn +^324 610@6@5@1@0@0^@19@2@0#strpbrk +^325 613@6@5@1@0@0^@19@2@0#strrchr +^326 615$^$@0#strspn +^327 618@6@5@1@0@0^@19@2@0#strstr +^328 621@6@5@1@0@0@0@s1,g23@6@0@1@tp0,s1,g23@19@2@0#strtok +^329 625$@0@@1@tp0$@0#memset +^330 628$^@19@3@0#strerror +^331 630$^$@0#strlen +*1 (Constant) +^332 5$#CLOCKS_PER_SEC +*0 (Datatype) +^333 13@-@-@0@0@0@0@631#clock_t +^334 13@-@-@0@0@0@0@632#time_t +*4 (Function) +^335 635$@0@s1@1@s1$@0#clock +^336 637$^$@0#difftime +^337 639$^$@0#mktime +^338 642$@0@@1@tp0$@0#time +^339 645$@0@g23@6@0@1@g23@19@3@0#asctime +^340 648$^@19@3@0#ctime +^341 651@6@5@1@0@0^@19@3@0#gmtime +^342 654@6@5@1@0@0@0@g23@6@0@1@g23@19@3@0#localtime +^343 656$@0@@1@tp0$@0#strftime +*0 (Datatype) +^344 13@-@-@0@0@0@0@657#int8_t +^345 13@-@-@0@0@0@0@658#int16_t +^346 13@-@-@0@0@0@0@659#int32_t +^347 13@-@-@0@0@0@0@660#int64_t +^348 14@-@-@0@0@0@0@661#uint8_t +^349 14@-@-@0@0@0@0@662#uint16_t +^350 14@-@-@0@0@0@0@663#uint32_t +^351 14@-@-@0@0@0@0@664#uint64_t +^352 13@-@-@0@0@0@0@665#int_least8_t +^353 13@-@-@0@0@0@0@666#int_least16_t +^354 13@-@-@0@0@0@0@667#int_least32_t +^355 13@-@-@0@0@0@0@668#int_least64_t +^356 14@-@-@0@0@0@0@669#uint_least8_t +^357 14@-@-@0@0@0@0@670#uint_least16_t +^358 14@-@-@0@0@0@0@671#uint_least32_t +^359 14@-@-@0@0@0@0@672#uint_least64_t +^360 13@-@-@0@0@0@0@673#int_fast8_t +^361 13@-@-@0@0@0@0@674#int_fast16_t +^362 13@-@-@0@0@0@0@675#int_fast32_t +^363 13@-@-@0@0@0@0@676#int_fast64_t +^364 14@-@-@0@0@0@0@677#uint_fast8_t +^365 14@-@-@0@0@0@0@678#uint_fast16_t +^366 14@-@-@0@0@0@0@679#uint_fast32_t +^367 14@-@-@0@0@0@0@680#uint_fast64_t +^368 24@-@+@0@0@0@0@681#intptr_t +^369 25@-@+@0@0@0@0@682#uintptr_t +^370 15@-@-@0@0@0@0@683#intmax_t +^371 14@-@-@0@0@0@0@684#uintmax_t +*1 (Constant) +^372 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX +^408 63$#INTPTR_MIN#INTPTR_MAX +*0 (Datatype) +^410 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