-;;LCLint Dump: null6.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
-;;lib:166
+;;; 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
0 p16|-2 35 54
0 p17|-2 36 55
0 p18|-2 37 56
-1 t0|0 312 -1
+1 t0|0 314 -1
1 t1|1&
1 t2|2&
1 t3|3&
-1 t4|4 313 -1
+1 t4|4 315 -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 s14|&
-0 s15|&
-0 s7|-1 381 -1
-0 s8|&
-0 a0|-1 399 -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 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 s341|-1 125 -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 f17 (17|$#,36|4@0@7&#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
-0 a16|&
+0 a123|&
3 f0 (171|4@0@7&#,)!
3 f5 (171|4@0@7&#,)!
3 f0 (171|$#,5|$#,)!
3 f1 (171|$#,5|$#,)!
-0 s9|&
+0 s132|&
3 ?!
3 f177 (5|$#,)!
3 f1 (5|$#,)^180
3 f200 (5|$#,192|0@5@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
-0 a17|&
+0 a138|&
3 f0 (204|4@0@7&#,!.,)!
3 f1 (204|4@0@7&#,!.,)!
3 f0 (204|$#,)!
3 f1 (204|$#,)!
-0 a18|-1 211 -1
-0 a19|-1 287 -1
+0 a141|-1 211 -1
+0 a142|-1 289 -1
1 t209|209&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f236 (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 (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 (263|$#,211|$#,)!
-3 f5 (263|$#,211|$#,)!
+3 f0 (265|$#,211|$#,)!
+3 f5 (265|$#,211|$#,)!
3 f0 (23|$#,211|$#,)!
3 f5 (23|$#,211|$#,)!
3 f0 (211|@7|$#,)!
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 (265|$#,211|@7|$#,)!
+3 f5 (265|$#,211|@7|$#,)!
+3 f0 (265|$#,)!
+3 f5 (265|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
-3 f0 (263|$#,211|$#,)!
-3 f5 (263|$#,211|$#,)!
+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|$#,287|4@0@7&#,)!
-3 f5 (211|$#,287|4@0@7&#,)!
+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|$#,287|$#,)!
-3 f5 (211|$#,287|$#,)!
+3 f0 (211|$#,289|$#,)!
+3 f5 (211|$#,289|$#,)!
3 f0 (211|$#,)!
3 f9 (211|$#,)!
3 f0 (211|$#,)!
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|$#,315|4@5@7&#,)!
+3 f17 (23|$#,315|4@5@7&#,)!
+3 f0 (23|$#,315|4@5@7&#,5|$#,)!
+3 f9 (23|$#,315|4@5@7&#,5|$#,)!
+3 f0 (23|$#,315|4@5@7&#,5|$#,)!
+3 f10 (23|$#,315|4@5@7&#,5|$#,)!
3 f0 ()!
3 f5 ()!
3 f0 (6|$#,)!
3 f0 (5|$#,)!
3 f1 (5|$#,)!
3 ?!
-3 f339 ()!
-3 f1 ()^342
-1 t341|341&
-3 f0 (342|$#,)!
-3 f5 (342|$#,)!
+3 f341 ()!
+3 f1 ()^344
+1 t343|343&
+3 f0 (344|$#,)!
+3 f5 (344|$#,)!
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 f352 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^355
+1 t354|354&
+3 f0 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
+3 f19 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
+3 f20 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
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 f359 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^362
+1 t361|361&
+3 f0 (20|$#,63|$#,63|$#,362|$#,)!
+3 f1 (20|$#,63|$#,63|$#,362|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|$#quot,5|@1|$#rem,}!
-0 s338|&
-0 s20|&
+0 s221|&
+0 s222|&
3 f0 (5|$#,5|$#,)!
-3 f367 (5|$#,5|$#,)!
+3 f369 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|$#quot,9|@1|$#rem,}!
-0 s339|&
-0 s21|&
+0 s225|&
+0 s226|&
3 f0 (9|$#,9|$#,)!
-3 f374 (9|$#,9|$#,)!
+3 f376 (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|$#,)!
+1 t65|65 465 -1
+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 (381|$#,211|$#,)!
-3 f5 (381|$#,211|$#,)!
+3 f0 (383|$#,211|$#,)!
+3 f5 (383|$#,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|$#,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 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 (23|$#,63|$#,401|0@5@7&#,)!
+3 f63 (23|$#,63|$#,401|0@5@7&#,)!
+3 f0 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)!
+3 f63 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)!
+3 f0 (401|0@5@7&#,)!
+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|$#,211|@7|$#,)!
3 f66 (65|$#,211|@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 (383|$#,63|$#,383|$#,!.,)!
+3 f5 (383|$#,63|$#,383|$#,!.,)!
+3 f0 (383|$#,383|$#,!.,)!
+3 f5 (383|$#,383|$#,!.,)!
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 s340|-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 (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 f0 (383|@5|4@0@9&#,383|$#,)!
+3 f1 (383|@5|4@0@9&#,383|$#,)!
+3 f428 (383|@5|4@0@9&#,383|$#,)!
+3 f0 (383|@5|$#,65|$#,)!
+3 f19 (383|@5|$#,65|$#,)!
+3 f383 (383|@5|$#,65|$#,)!
+3 f0 (383|$#,383|$#,)!
+3 f5 (383|$#,383|$#,)!
+3 f0 (383|$#,383|$#,)!
+3 f5 (383|$#,383|$#,)!
+3 f0 (383|@5|4@0@9&#,383|$#,)!
+3 f1 (383|@5|4@0@9&#,383|$#,)!
+3 f428 (383|@5|4@0@9&#,383|$#,)!
+3 f0 (383|$#,383|$#,)!
+3 f63 (383|$#,383|$#,)!
+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 f0 (383|$#,)!
+3 f63 (383|$#,)!
+3 C0.1/383|!
+3 f0 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f1 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f450 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f0 (383|$#,383|$#,63|$#,)!
+3 f5 (383|$#,383|$#,63|$#,)!
+3 f0 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f1 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f450 (383|@5|4@0@9&#,383|$#,63|$#,)!
+3 f0 (383|@5|$#,383|$#,)!
+3 f19 (383|@5|$#,383|$#,)!
+3 f383 (383|@5|$#,383|$#,)!
+3 f0 (383|@5|$#,65|$#,)!
+3 f19 (383|@5|$#,65|$#,)!
+3 f383 (383|@5|$#,65|$#,)!
+1 t383|383&
+3 f0 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)!
+3 f63 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)!
+3 f0 (383|$#,383|$#,)!
+3 f63 (383|$#,383|$#,)!
+3 f0 (383|$#,383|$#,)!
+3 f19 (383|$#,383|$#,)!
+3 f383 (383|$#,383|$#,)!
+3 f0 (383|$#,465|0@5@7&#,)!
+3 f17 (383|$#,465|0@5@7&#,)!
+3 f0 (383|0@5@7&#,383|$#,465|$#,)!
+3 f19 (383|0@5@7&#,383|$#,465|$#,)!
+3 f383 (383|0@5@7&#,383|$#,465|$#,)!
+3 f0 (383|$#,465|0@5@7&#,5|$#,)!
+3 f9 (383|$#,465|0@5@7&#,5|$#,)!
+3 f0 (383|$#,465|0@5@7&#,5|$#,)!
+3 f10 (383|$#,465|0@5@7&#,5|$#,)!
+3 f0 (383|0@5@7&#,383|$#,63|$#,)!
+3 f63 (383|0@5@7&#,383|$#,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 (383|$#,65|$#,63|$#,)!
+3 f19 (383|$#,65|$#,63|$#,)!
+3 f383 (383|$#,65|$#,63|$#,)!
+3 f0 (383|$#,383|$#,63|$#,)!
+3 f5 (383|$#,383|$#,63|$#,)!
+3 f0 (383|@5|$#,383|$#,63|$#,)!
+3 f19 (383|@5|$#,383|$#,63|$#,)!
+3 f383 (383|@5|$#,383|$#,63|$#,)!
+3 f0 (383|@5|$#,383|$#,63|$#,)!
+3 f19 (383|@5|$#,383|$#,63|$#,)!
+3 f383 (383|@5|$#,383|$#,63|$#,)!
+3 f0 (383|@5|$#,65|$#,63|$#,)!
+3 f19 (383|@5|$#,65|$#,63|$#,)!
+3 f383 (383|@5|$#,65|$#,63|$#,)!
+3 f0 (383|$#,!.,)!
+3 f5 (383|$#,!.,)!
+3 f0 (383|$#,!.,)!
+3 f5 (383|$#,!.,)!
+0 s285|&
+0 s286|&
3 C0.2/5|!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f504 (66|$#,)!
+3 f506 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f504 (66|$#,)!
+3 f506 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f504 (66|$#,)!
-3 f0 (66|$#,502|$#,)!
-3 f2 (66|$#,502|$#,)!
-3 f504 (66|$#,502|$#,)!
+3 f506 (66|$#,)!
+3 f0 (66|$#,504|$#,)!
+3 f2 (66|$#,504|$#,)!
+3 f506 (66|$#,504|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f504 (66|$#,)!
+3 f506 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 C0.2/5|!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f522 (66|$#,)!
+3 f524 (66|$#,)!
3 C0.2/5|!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
-3 f539 (66|$#,)!
+3 f541 (66|$#,)!
3 C0.66/5|!
-3 f0 (66|$#,503|$#,)!
-3 f66 (66|$#,503|$#,)!
-3 f543 (66|$#,503|$#,)!
+3 f0 (66|$#,505|$#,)!
+3 f66 (66|$#,505|$#,)!
+3 f545 (66|$#,505|$#,)!
3 f0 (66|$#,)!
3 f66 (66|$#,)!
-3 f543 (66|$#,)!
+3 f545 (66|$#,)!
3 f0 (66|$#,)!
3 f66 (66|$#,)!
-3 f543 (66|$#,)!
+3 f545 (66|$#,)!
3 f0 (23|$#,)!
-3 f503 (23|$#,)!
+3 f505 (23|$#,)!
3 f0 (23|$#,)!
-3 f502 (23|$#,)!
+3 f504 (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 (383|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (383|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 (383|4@0@7&#,23|$#,63|$#,)!
+3 f63 (383|4@0@7&#,23|$#,63|$#,)!
+3 f0 (23|4@0@7&#,383|$#,63|$#,)!
+3 f63 (23|4@0@7&#,383|$#,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 f569 (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 f569 (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 f576 (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 f576 (23|@5|4@0@9&#,23|$#,63|$#,)!
+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 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|$#,265|$#,)!
+3 f19 (23|@5|$#,265|$#,)!
+3 f23 (23|@5|$#,265|$#,)!
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|$#,265|$#,)!
+3 f19 (23|@5|$#,265|$#,)!
+3 f23 (23|@5|$#,265|$#,)!
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 f619 (20|@5|4@0@7&#,5|$#,63|$#,)!
+3 f621 (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 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 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|&
+3 f630 ()!
+3 f0 (631|$#,631|$#,)!
+3 f17 (631|$#,631|$#,)!
+3 f0 (445|$#,)!
+3 f631 (445|$#,)!
+1 t631|631&
+3 f0 (639|4@5@7&#,)!
+3 f631 (639|4@5@7&#,)!
+3 f0 (445|$#,)!
+3 f19 (445|$#,)!
+3 f23 (445|$#,)!
+3 f0 (639|$#,)!
+3 f19 (639|$#,)!
+3 f23 (639|$#,)!
+3 f0 (639|$#,)!
+3 f19 (639|$#,)!
+3 f445 (639|$#,)!
+3 f0 (639|$#,)!
+3 f19 (639|$#,)!
+3 f445 (639|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
+3 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
+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
-2
0
-0,16
-16
-0,16,17
-17
-0,16,17,18
-18
-0,16,17,18,19
-19
-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@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
-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$#__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)
+^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)
-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
-180$#SIG_DFL
-184$#SIG_ERR
-188$#SIG_IGN
+^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
-211|@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)
-362$@0@g112@0@0@1@tp0,g112$@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@g112@0@0,g122@0@0,s3@1@s3,tg122$@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,g112@0@0@1@s3,tp0,g112$@0#fseek
-253$@0@s3,g112@0@0@1@s3,tp0,p2,g112$@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@g123@0@0@1@tg123$@0#swscanf
-560$@0@@1@tp0$@0#mbtowc
-215$@0@s3,g112@0@0@1@s3,g112$@0#rename
-590$@1@@1@s0$@0#strcmp#strcoll
-558$@1@@1@s0$@0#mblen
-255$@1@g124@0@0,s3@1@s3,p1,tg124$@0#vprintf
-267$@0@s3@1@s3,tp1$@0#fputs
-246@6@0@1@2@0@1@g123@0@0,s3@1@s3,tg123$@0#scanf
-562$@0@@1@tp0$@0#wctomb
-390$@1@@1@s0$@0#fwide
-293$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fsetpos
-289$@0@g112@0@0@1@tp1,g112$@0#fgetpos
-423$@0@s3,g124@0@0@1@s3,tg124$@0#vwprintf
-388$@0@s3@1@s3,tp1$@0#fputws
-434$@1@@1@s0$@0#wcscmp#wcscoll
-499@6@0@1@1@0@1@g124@0@0,g112@0@0@1@g112,tg124$@0#wprintf
-501@6@0@1@2@0@1@g123@0@0,g112@0@0@1@g112,tg123$@0#wscanf
-265$@0@s3,g112@0@0@1@s3,tp1,g112$@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
-213$@0@s3,g112@0@0@1@s3,g112$@0#remove
-280$@1@g124@0@0,s3@1@s3,tg124$@0#puts
-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@g112@0@0,s3@1@tp0,g112,s3$@0#fclose#fgetc
-301$@0@g112@0@0@1@g112$@0#feof#ferror
-269$@0@s3@1@s3,tp0$@0#getc
-225$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fflush
-344$@0@s1@1@s1$@0#atexit
-405$@1@@1@s0$@0#mbsinit
-278$@1@g124@0@0,s3@1@s3,tg124$@0#putchar
-271$@1@g123@0@0,s3@1@s3,tg123$@0#getchar
-321$@0@s1@1@s1$@0#rand
-317$@0@g112@0@0@1@tp1,g112$@0#strtol
-477$@0@@1@tp1$@0#wcstol
-371$@1@@1@s0$@0#labs
-311$@1@@1@s0$@0#atol
-295$@0@g112@0@0@1@g112$@0#ftell
-319$@0@g112@0@0@1@tp1,g112$@0#strtoul
-479$@0@@1@tp1$@0#wcstoul
-150$@0@g112@0@0@1@g112$@0#ldexp
-158$@0@g112@0@0@1@g112$@0#pow
-140$@1@@1@s0$@0#atan2#fmod
-152$@0@@1@tp1$@0#frexp
-168$@0@@1@tp1$@0#modf
-315$@0@g112@0@0@1@tp1,g112$@0#strtod
-472$@0@@1@tp1$@0#wcstod
-634$@1@@1@s0$@0#difftime
-136$@0@g112@0@0@1@g112$@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,g112@0@0@1@s3,tp0,tp2,g112$@0#fgets
-122@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112@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,g112@0@0@1@tp0,s1,g112@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@g123@0@0,s3,g112@0@0@1@s3,tp0,tg123,g112@3@0@0#gets
-221$@0@s1@1@tp0,s1@19@3@0#tmpnam
-642$@0@g112@0@0@1@g112@19@3@0#asctime
-645$@1@@1@s0@19@3@0#ctime
-286$@0@s3,g112@0@0@1@s3,tp3,g112$@0#fwrite
-284$@0@s3,g112@0@0@1@s3,tp0,tp3,g112$@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,g124@0@0@1@s3,tg124$@0#putwchar
-380$@0@s3@1@s3,tp0$@0#fgetwc
-396$@0@s3@1@s3,tp0$@0#getwc
-398$@0@s3,g123@0@0@1@s3,tg123$@0#getwchar
-126$@1@@1@s0@3@0@0#localeconv
-231@6@5@1@0@0@0@s3,g112@0@0@1@tp2,s3,g112@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@g112@0@0@1@g112@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,g112@0@0@1@s1,g112$@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@g124@0@0,s3@1@s3,tg124$@0#printf
-546$@1@@1@s0$@0#towctrans
-549$@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)
-365@366#@!2
-372@373#@!3
-630@442#@tm
-118@119#@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
-realloc
-pre:EMPTY
+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
2
2
-Result
+Param 23 0
r
0
1
e1
2
2
-Param 63 1
+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:EMPTY
+pre:
+;; end precondition constraints
post:
C
0@1@4
-1
;; end precondition constraints
malloc
-pre:EMPTY
+pre:
+;; end precondition constraints
post:
C
0@1@4
3
-1
;; end precondition constraints
-fgets
+realloc
pre:
+;; end precondition constraints
+post:
C
0@1@3
l
1
2
2
-Param 23 0
+Result
r
0
1
e1
2
2
-Param 5 1
+Param 63 1
e2
2
3
-1
;; end precondition constraints
-post:
+memcpy
+pre:
C
0@1@3
l
1
-3
+1
2
2
-Param 23 0
+Param 20 0
r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
2
3
-0
+-1
C
-0@1@1
+0@1@3
l
1
3
2
2
-Param 23 0
+Param 20 1
r
0
1
e1
2
2
-Param 5 1
+Param 63 2
e2
2
3
-1
;; end precondition constraints
-strchr
-pre:EMPTY
post:
+;; end precondition constraints
+memmove
+pre:
C
0@1@3
l
1
-3
+1
2
2
-Result
+Param 20 0
r
-2
-3
0
-C
-0@1@1
-l
1
-3
-2
+e1
2
-Result
-r
-1
-3
2
+Param 63 2
+e2
2
-Param 23 0
+3
+-1
C
-0@1@1
+0@1@3
l
1
-1
+3
2
2
-Result
+Param 20 1
r
+0
1
-1
+e1
2
2
-Param 23 0
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+;; end precondition constraints
+strcpy
+pre:
C
0@1@3
l
1
2
2
-Result
+Param 23 0
r
-2
+1
3
-0
+2
+2
+Param 23 1
;; end precondition constraints
-strrchr
-pre:EMPTY
post:
C
-0@1@3
+0@1@4
l
1
-3
+1
2
2
Result
r
+1
+1
2
-3
-0
+2
+Param 23 0
C
-0@1@1
+0@1@4
l
1
3
3
2
2
-Param 23 0
+Param 23 1
C
-0@1@1
+0@1@4
l
1
-1
+3
2
2
-Result
+Param 23 0
r
1
-1
+3
2
2
-Param 23 0
+Param 23 1
+;; end precondition constraints
+strncpy
+pre:
C
0@1@3
l
1
2
2
-Result
+Param 23 0
r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
2
3
-0
+-1
;; end precondition constraints
-strstr
-pre:EMPTY
post:
C
-0@1@3
+0@1@1
l
1
3
2
2
-Result
+Param 23 0
r
2
-3
-0
+2
+Param 63 2
C
-0@1@1
+0@1@3
l
1
3
2
2
-Result
+Param 23 1
r
1
3
2
2
Param 23 0
-C
-0@1@1
+;; end precondition constraints
+strcat
+pre:
+C
+0@1@3
l
1
1
2
2
-Result
+Param 23 0
r
+0
1
+e1
1
+3
2
2
Param 23 0
-C
-0@1@3
-l
-1
+e2
1
+3
2
2
-Result
-r
-2
-3
-0
+Param 23 1
;; end precondition constraints
-asctime
-pre:EMPTY
post:
C
0@1@4
2
Result
r
+0
+1
+e1
+1
+3
+2
2
+Param 23 0
+e2
+1
3
-25
+2
+2
+Param 23 1
+;; end precondition constraints
+strncat
+pre:
C
-0@1@4
+0@1@3
l
1
1
2
2
-Result
+Param 23 0
r
-2
+0
+1
+e1
+1
3
-25
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
;; end precondition constraints
-ctime
-pre:EMPTY
post:
C
-0@1@4
+0@1@3
l
1
3
2
2
-Result
+Param 23 0
r
-2
+0
+1
+e1
+1
3
-25
+2
+2
+Param 23 0
+e2
+2
+2
+Param 63 2
+;; end precondition constraints
+strchr
+pre:
+;; end precondition constraints
+post:
C
-0@1@4
+0@1@3
l
1
-1
+3
2
2
Result
r
2
3
-25
-;; end precondition constraints
-strlen
-pre:EMPTY
-post:
+0
C
-0@1@4
+0@1@1
l
+1
+3
2
2
Result
2
2
Param 23 0
-;; end precondition constraints
-memset
-pre:
C
-0@1@3
+0@1@1
l
1
1
2
2
-Param 20 0
+Result
r
-0
1
-e1
+1
2
2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-post:
+Param 23 0
C
0@1@3
l
1
-3
-2
-2
-Param 20 0
-r
-0
1
-e1
2
2
-Param 63 2
-e2
+Result
+r
2
3
--1
+0
;; end precondition constraints
-memmove
+strrchr
pre:
+;; end precondition constraints
+post:
C
0@1@3
l
1
-1
+3
2
2
-Param 20 0
+Result
r
2
-2
-Param 63 2
+3
+0
C
-0@1@3
+0@1@1
l
1
3
2
2
-Param 20 1
+Result
r
+1
+3
2
2
-Param 63 2
-;; end precondition constraints
-post:EMPTY
-memcpy
-pre:
+Param 23 0
C
-0@1@3
+0@1@1
l
1
1
2
2
-Param 20 0
+Result
r
+1
+1
2
2
-Param 63 2
+Param 23 0
C
0@1@3
l
1
-3
+1
2
2
-Param 20 1
+Result
r
2
-2
-Param 63 2
+3
+0
;; end precondition constraints
-post:EMPTY
-strncat
+strstr
pre:
+;; end precondition constraints
+post:
C
0@1@3
l
1
-1
+3
2
2
-Param 23 0
+Result
r
+2
+3
0
-1
-e1
+C
+0@1@1
+l
1
3
2
2
-Param 23 0
-e2
+Result
+r
+1
+3
2
2
-Param 5 2
-;; end precondition constraints
-post:
+Param 23 0
C
-0@1@3
+0@1@1
l
1
-3
+1
2
2
Result
r
-0
1
-e1
1
-3
2
2
Param 23 0
-e2
+C
+0@1@3
+l
+1
+1
+2
2
+Result
+r
2
-Param 5 2
+3
+0
;; end precondition constraints
-strncpy
+memset
pre:
C
0@1@3
1
2
2
-Param 23 0
+Param 20 0
r
0
1
;; end precondition constraints
post:
C
-0@1@1
+0@1@3
l
1
3
2
2
-Param 23 0
+Param 20 0
r
+0
+1
+e1
2
2
Param 63 2
-C
-0@1@3
-l
-1
-3
-2
+e2
2
-Param 23 1
-r
-1
3
-2
-2
-Param 23 0
+-1
;; end precondition constraints
-strcat
+strlen
pre:
+;; end precondition constraints
+post:
C
-0@1@3
+0@1@4
l
-1
-1
2
2
-Param 23 0
+Result
r
-0
-1
-e1
1
3
2
2
Param 23 0
-e2
-1
-3
-2
-2
-Param 23 1
;; end precondition constraints
-post:EMPTY
-strcpy
+asctime
pre:
+;; end precondition constraints
+post:
C
-0@1@3
+0@1@4
l
1
-1
+3
2
2
-Param 23 0
+Result
r
-1
-3
2
-2
-Param 23 1
-;; end precondition constraints
-post:
+3
+25
C
0@1@4
l
2
Result
r
-1
-1
-2
2
-Param 23 0
+3
+25
+;; end precondition constraints
+ctime
+pre:
+;; end precondition constraints
+post:
C
0@1@4
l
2
Result
r
-1
-3
-2
2
-Param 23 1
+3
+25
C
0@1@4
l
1
-3
+1
2
2
-Param 23 0
+Result
r
-1
-3
2
-2
-Param 23 1
+3
+25
;; end precondition constraints
;; Modules access
lltX_bool#1@
andersk / splint.git / blobdiff