;;; Splint Library  standard.lcd
;;Splint 3.018000
;;lib:310
;;ctTable
0 u-2 19 38
0 p1|-2 20 39
0 b-2 21 40
0 p3|-2 22 41
0 p4|-2 23 42
0 p5|-2 24 43
0 p6|-2 25 44
0 p7|-2 26 45
0 p8|-2 27 46
0 p9|-2 28 47
0 p10|-2 29 48
0 p11|-2 30 49
0 p12|-2 31 50
0 p13|-2 32 51
0 p14|-2 33 52
0 p15|-2 34 53
0 p16|-2 35 54
0 p17|-2 36 55
0 p18|-2 37 56
1 t0|0 485 -1
1 t1|1&
1 t2|2&
1 t3|3&
1 t4|4 486 -1
1 t5|5&
1 t6|6&
1 t7|7&
1 t8|8&
1 t9|9&
1 t10|10&
1 t11|11&
1 t12|12&
1 t13|13&
1 t14|14&
1 t15|15&
1 t16|16&
1 t17|17&
1 t18|18&
2 y0|0&
2 y1|1&
2 y2|2&
2 y3|3&
2 y4|4&
2 y5|5&
2 y6|6&
2 y7|7&
2 y8|8&
2 y9|9&
2 y10|10&
2 y11|11&
2 y12|12&
2 y13|13&
2 y14|14&
2 y15|15&
2 y16|16&
2 y17|17&
2 y18|18&
-2 ?!
0 a0|&
0 s11|&
0 s12|&
0 s13|&
0 s27|&
0 s29|&
0 s30|&
0 s31|&
0 s32|-1 554 -1
0 s33|&
0 a34|-1 572 -1
3 C0.5/20|!
3 C0.69/2|!
3 C0.2/5|!
3 f0 (71|@7|$#,)!
3 f1 (71|@7|$#,)!
3 C0.4/3|!
3 C0.5/74|!
3 f0 (75|$#,)!
3 f2 (75|$#,)!
3 f71 (75|$#,)!
3 f0 (75|$#,)!
3 f2 (75|$#,)!
3 f71 (75|$#,)!
3 f0 (75|$#,)!
3 f2 (75|$#,)!
3 f71 (75|$#,)!
3 f0 (75|$#,)!
3 f2 (75|$#,)!
3 f71 (75|$#,)!
3 C0.2/5|!
3 f0 (75|$#,)!
3 f2 (75|$#,)!
3 f88 (75|$#,)!
3 C0.5/74|!
3 f0 (92|$#,)!
3 f2 (92|$#,)!
3 f88 (92|$#,)!
3 f0 (92|$#,)!
3 f2 (92|$#,)!
3 f88 (92|$#,)!
3 f0 (92|$#,)!
3 f2 (92|$#,)!
3 f88 (92|$#,)!
3 f0 (92|$#,)!
3 f2 (92|$#,)!
3 f88 (92|$#,)!
3 C0.2/5|!
3 f0 (92|$#,)!
3 f2 (92|$#,)!
3 f105 (92|$#,)!
3 C0.5/74|!
3 f0 (109|$#,)!
3 f2 (109|$#,)!
3 f105 (109|$#,)!
3 C0.4/5|!
3 f0 (109|$#,)!
3 f4 (109|$#,)!
3 f113 (109|$#,)!
3 f0 (109|$#,)!
3 f4 (109|$#,)!
3 f113 (109|$#,)!
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 s51|-1 127 -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 ()!
0 s106|&
0 s107|&
3 C0.17/18|!
3 C0.16/131|!
0 s121|&
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (133|@7|$#,)!
3 f5 (133|@7|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,24|4@0@7&#,)!
3 f17 (17|$#,24|4@0@7&#,)!
3 f0 (17|$#,5|$#,)!
3 f17 (17|$#,5|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,36|4@0@7&#,)!
3 f17 (17|$#,36|4@0@7&#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,5|$#,)!
3 f17 (17|$#,5|$#,)!
3 f0 (17|$#,9|$#,)!
3 f17 (17|$#,9|$#,)!
3 f0 (18|$#,9|$#,)!
3 f18 (18|$#,9|$#,)!
3 f0 (17|$#,)!
3 f5 (17|$#,)!
3 f0 (16|$#,)!
3 f5 (16|$#,)!
3 f0 (18|$#,)!
3 f5 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (16|$#,16|$#,)!
3 f16 (16|$#,16|$#,)!
3 f0 (18|$#,18|$#,)!
3 f18 (18|$#,18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (16|$#,16|$#,)!
3 f16 (16|$#,16|$#,)!
3 f0 (18|$#,18|$#,)!
3 f18 (18|$#,18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (16|$#,)!
3 f16 (16|$#,)!
3 f0 (18|$#,)!
3 f18 (18|$#,)!
3 f0 (17|$#,)!
3 f9 (17|$#,)!
3 f0 (16|$#,)!
3 f9 (16|$#,)!
3 f0 (18|$#,)!
3 f9 (18|$#,)!
3 f0 (17|$#,)!
3 f11 (17|$#,)!
3 f0 (16|$#,)!
3 f11 (16|$#,)!
3 f0 (18|$#,)!
3 f11 (18|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f9 (17|$#,)!
3 f0 (17|$#,)!
3 f11 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,17|$#,24|4@0@7&#,)!
3 f17 (17|$#,17|$#,24|4@0@7&#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (23|$#,)!
3 f17 (23|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,18|$#,)!
3 f17 (17|$#,18|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,17|$#,17|$#,)!
3 f17 (17|$#,17|$#,17|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
3 f0 (133|$#,133|$#,)!
3 f5 (133|$#,133|$#,)!
0 a224|&
3 f0 (338|4@0@7&#,)!
3 f5 (338|4@0@7&#,)!
3 f0 (338|$#,5|$#,)!
3 f1 (338|$#,5|$#,)!
0 s233|&
3 ?!
3 f344 (5|$#,)!
3 f1 (5|$#,)^347
1 t346|346&
3 ?!
3 f348 (5|$#,)!
3 f1 (5|$#,)^351
1 t350|350&
3 ?!
3 f352 (5|$#,)!
3 f1 (5|$#,)^355
1 t354|354&
3 ?!
3 f356 (5|$#,)!
3 f1 (5|$#,)^359
1 t358|358&
3 f0 (5|$#,359|0@5@7&#,)!
3 f19 (5|$#,359|0@5@7&#,)^362
1 t361|361&
3 ?!
3 f363 (5|$#,)!
3 f19 (5|$#,)!
3 f1 (5|$#,359|0@5@7&#,)!
3 f1 (5|$#,)!
3 f367 (5|$#,359|0@5@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
0 a239|&
3 f0 (371|4@0@7&#,!.,)!
3 f1 (371|4@0@7&#,!.,)!
3 f0 (371|$#,)!
3 f1 (371|$#,)!
3 f0 (371|4@0@7&#,371|$#,)!
3 f1 (371|4@0@7&#,371|$#,)!
0 a243|-1 380 -1
0 a244|-1 460 -1
1 t378|378&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 ()!
3 f19 ()!
3 f380 ()!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
3 f0 (380|$#,)!
3 f5 (380|$#,)!
3 f0 (380|0@5@7&#,)!
3 f5 (380|0@5@7&#,)!
3 f0 (23|$#,23|$#,)!
3 f19 (23|$#,23|$#,)!
3 f380 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,380|$#,)!
3 f19 (23|$#,23|$#,380|$#,)!
3 f380 (23|$#,23|$#,380|$#,)!
3 f0 (380|$#,23|4@5@19@2@0#,)!
3 f1 (380|$#,23|4@5@19@2@0#,)!
3 f0 (380|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 f5 (380|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 C0.5/1|!
3 f0 (380|$#,23|$#,!.,)!
3 f5 (380|$#,23|$#,!.,)!
3 f405 (380|$#,23|$#,!.,)!
3 f0 (380|$#,23|$#,!.,)!
3 f5 (380|$#,23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f405 (23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
3 f405 (23|4@0@7&#,23|$#,!.,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,!.,)!
3 f5 (23|4@0@7&#,64|$#,23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
3 f0 (23|$#,371|$#,)!
3 f5 (23|$#,371|$#,)!
3 f0 (380|$#,23|$#,371|$#,)!
3 f5 (380|$#,23|$#,371|$#,)!
3 f0 (23|4@0@7&#,23|$#,371|$#,)!
3 f5 (23|4@0@7&#,23|$#,371|$#,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,371|$#,)!
3 f5 (23|4@0@7&#,64|$#,23|$#,371|$#,)!
3 f0 (380|$#,)!
3 f5 (380|$#,)!
3 f0 (23|@5|4@0@7&#,5|$#,380|$#,)!
3 f19 (23|@5|4@0@7&#,5|$#,380|$#,)!
3 f23 (23|@5|4@0@7&#,5|$#,380|$#,)!
3 C0.5/4|!
3 f0 (436|$#,380|$#,)!
3 f5 (436|$#,380|$#,)!
3 f0 (23|$#,380|$#,)!
3 f5 (23|$#,380|$#,)!
3 f0 (380|@7|$#,)!
3 f5 (380|@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 (436|$#,380|@7|$#,)!
3 f5 (436|$#,380|@7|$#,)!
3 f0 (436|$#,)!
3 f5 (436|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (436|$#,380|$#,)!
3 f5 (436|$#,380|$#,)!
3 f0 (20|4@0@7&#,64|$#,64|$#,380|$#,)!
3 f64 (20|4@0@7&#,64|$#,64|$#,380|$#,)!
3 f0 (20|$#,64|$#,64|$#,380|$#,)!
3 f64 (20|$#,64|$#,64|$#,380|$#,)!
1 t379|379&
3 f0 (380|$#,460|4@0@7&#,)!
3 f5 (380|$#,460|4@0@7&#,)!
3 f0 (380|$#,9|$#,5|$#,)!
3 f5 (380|$#,9|$#,5|$#,)!
3 f0 (380|$#,460|$#,)!
3 f5 (380|$#,460|$#,)!
3 f0 (380|$#,)!
3 f9 (380|$#,)!
3 f0 (380|$#,)!
3 f1 (380|$#,)!
3 f0 (380|$#,)!
3 f1 (380|$#,)!
3 f0 (380|$#,)!
3 f5 (380|$#,)!
3 f0 (380|$#,)!
3 f5 (380|$#,)!
3 f0 (23|0@5@7&#,)!
3 f1 (23|0@5@7&#,)!
3 f0 (23|$#,)!
3 f17 (23|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,)!
3 f9 (23|$#,)!
1 t19|19&
1 t23|23&
3 f0 (23|$#,486|4@5@7&#,)!
3 f17 (23|$#,486|4@5@7&#,)!
3 f0 (23|$#,486|4@5@7&#,5|$#,)!
3 f9 (23|$#,486|4@5@7&#,5|$#,)!
3 f0 (23|$#,486|4@5@7&#,5|$#,)!
3 f10 (23|$#,486|4@5@7&#,5|$#,)!
3 f0 ()!
3 f5 ()!
3 f0 (6|$#,)!
3 f1 (6|$#,)!
3 f0 (64|$#,64|$#,)!
3 f19 (64|$#,64|$#,)!
3 f20 (64|$#,64|$#,)!
3 f0 (64|$#,)!
3 f19 (64|$#,)!
3 f20 (64|$#,)!
3 f0 (20|@5|4@5@2&#,64|$#,)!
3 f19 (20|@5|4@5@2&#,64|$#,)!
3 f20 (20|@5|4@5@2&#,64|$#,)!
3 f0 (20|4@5@2&#,)!
3 f1 (20|4@5@2&#,)!
3 f0 ()!
3 f1 ()!
3 f0 (5|$#,)!
3 f1 (5|$#,)!
3 ?!
3 f512 ()!
3 f1 ()^515
1 t514|514&
3 f0 (515|$#,)!
3 f5 (515|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f23 (23|$#,)!
3 f0 (23|0@5@7&#,)!
3 f5 (23|0@5@7&#,)!
3 ?!
3 f523 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^526
1 t525|525&
3 f0 (20|$#,20|$#,64|$#,64|$#,526|$#,)!
3 f19 (20|$#,20|$#,64|$#,64|$#,526|$#,)!
3 f20 (20|$#,20|$#,64|$#,64|$#,526|$#,)!
3 ?!
3 f530 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^533
1 t532|532&
3 f0 (20|$#,64|$#,64|$#,533|$#,)!
3 f1 (20|$#,64|$#,64|$#,533|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|^#quot,5|@1|^#rem,}!
0 s324|&
0 s325|&
3 f0 (5|$#,5|$#,)!
3 f540 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|^#quot,9|@1|^#rem,}!
0 s328|&
0 s329|&
3 f0 (9|$#,9|$#,)!
3 f547 (9|$#,9|$#,)!
3 f0 (5|$#,)!
3 f67 (5|$#,)!
3 f0 (380|$#,)!
3 f67 (380|$#,)!
1 t66|66 636 -1
3 f0 (554|@5|$#,5|$#,380|$#,)!
3 f19 (554|@5|$#,5|$#,380|$#,)!
3 f554 (554|@5|$#,5|$#,380|$#,)!
3 f0 (66|$#,380|$#,)!
3 f67 (66|$#,380|$#,)!
3 f0 (554|$#,380|$#,)!
3 f5 (554|$#,380|$#,)!
3 f0 (380|$#,5|$#,)!
3 f5 (380|$#,5|$#,)!
3 f0 (380|$#,554|$#,!.,)!
3 f5 (380|$#,554|$#,!.,)!
3 f0 (380|$#,554|$#,!.,)!
3 f5 (380|$#,554|$#,!.,)!
3 f0 (380|@7|$#,)!
3 f67 (380|@7|$#,)!
3 f0 ()!
3 f67 ()!
1 t68|68&
3 f0 (23|$#,64|$#,572|0@5@7&#,)!
3 f64 (23|$#,64|$#,572|0@5@7&#,)!
3 f0 (554|0@5@7&#,23|$#,64|$#,572|0@5@7&#,)!
3 f64 (554|0@5@7&#,23|$#,64|$#,572|0@5@7&#,)!
3 f0 (572|0@5@7&#,)!
3 f5 (572|0@5@7&#,)!
3 f0 (554|0@5@7&#,486|$#,64|$#,572|0@5@7&#,)!
3 f64 (554|0@5@7&#,486|$#,64|$#,572|0@5@7&#,)!
3 f0 (66|$#,380|@7|$#,)!
3 f67 (66|$#,380|@7|$#,)!
3 f0 (66|$#,)!
3 f67 (66|$#,)!
3 f0 (554|$#,64|$#,554|$#,!.,)!
3 f5 (554|$#,64|$#,554|$#,!.,)!
3 f0 (554|$#,554|$#,!.,)!
3 f5 (554|$#,554|$#,!.,)!
3 f0 (67|$#,380|$#,)!
3 f67 (67|$#,380|$#,)!
3 f0 (380|$#,554|$#,371|$#,)!
3 f5 (380|$#,554|$#,371|$#,)!
3 f0 (554|$#,64|$#,554|$#,371|$#,)!
3 f5 (554|$#,64|$#,554|$#,371|$#,)!
3 f0 (554|$#,371|$#,)!
3 f5 (554|$#,371|$#,)!
3 f0 (23|4@5@7&#,66|$#,572|0@5@7&#,)!
3 f64 (23|4@5@7&#,66|$#,572|0@5@7&#,)!
3 C0.1/554|!
3 f0 (554|@5|4@0@9&#,554|$#,)!
3 f1 (554|@5|4@0@9&#,554|$#,)!
3 f599 (554|@5|4@0@9&#,554|$#,)!
3 f0 (554|@5|$#,66|$#,)!
3 f19 (554|@5|$#,66|$#,)!
3 f554 (554|@5|$#,66|$#,)!
3 f0 (554|$#,554|$#,)!
3 f5 (554|$#,554|$#,)!
3 f0 (554|$#,554|$#,)!
3 f5 (554|$#,554|$#,)!
3 f0 (554|@5|4@0@9&#,554|$#,)!
3 f1 (554|@5|4@0@9&#,554|$#,)!
3 f599 (554|@5|4@0@9&#,554|$#,)!
3 f0 (554|$#,554|$#,)!
3 f64 (554|$#,554|$#,)!
0 s364|-1 616 -1
1 t615|615&
3 f0 (554|4@0@7&#,64|$#,554|$#,616|$#,)!
3 f64 (554|4@0@7&#,64|$#,554|$#,616|$#,)!
3 f0 (554|$#,)!
3 f64 (554|$#,)!
3 C0.1/554|!
3 f0 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f1 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f621 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f0 (554|$#,554|$#,64|$#,)!
3 f5 (554|$#,554|$#,64|$#,)!
3 f0 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f1 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f621 (554|@5|4@0@9&#,554|$#,64|$#,)!
3 f0 (554|@5|$#,554|$#,)!
3 f19 (554|@5|$#,554|$#,)!
3 f554 (554|@5|$#,554|$#,)!
3 f0 (554|@5|$#,66|$#,)!
3 f19 (554|@5|$#,66|$#,)!
3 f554 (554|@5|$#,66|$#,)!
1 t554|554&
3 f0 (23|0@5@7&#,636|$#,64|$#,572|0@5@7&#,)!
3 f64 (23|0@5@7&#,636|$#,64|$#,572|0@5@7&#,)!
3 f0 (554|$#,554|$#,)!
3 f64 (554|$#,554|$#,)!
3 f0 (554|$#,554|$#,)!
3 f19 (554|$#,554|$#,)!
3 f554 (554|$#,554|$#,)!
3 f0 (554|$#,636|0@5@7&#,)!
3 f17 (554|$#,636|0@5@7&#,)!
3 f0 (554|0@5@7&#,554|$#,636|$#,)!
3 f19 (554|0@5@7&#,554|$#,636|$#,)!
3 f554 (554|0@5@7&#,554|$#,636|$#,)!
3 f0 (554|$#,636|0@5@7&#,5|$#,)!
3 f9 (554|$#,636|0@5@7&#,5|$#,)!
3 f0 (554|$#,636|0@5@7&#,5|$#,)!
3 f10 (554|$#,636|0@5@7&#,5|$#,)!
3 f0 (554|0@5@7&#,554|$#,64|$#,)!
3 f64 (554|0@5@7&#,554|$#,64|$#,)!
3 f0 (67|$#,)!
3 f5 (67|$#,)!
3 f0 (554|$#,66|$#,64|$#,)!
3 f19 (554|$#,66|$#,64|$#,)!
3 f554 (554|$#,66|$#,64|$#,)!
3 f0 (554|$#,554|$#,64|$#,)!
3 f5 (554|$#,554|$#,64|$#,)!
3 f0 (554|@5|$#,554|$#,64|$#,)!
3 f19 (554|@5|$#,554|$#,64|$#,)!
3 f554 (554|@5|$#,554|$#,64|$#,)!
3 f0 (554|@5|$#,554|$#,64|$#,)!
3 f19 (554|@5|$#,554|$#,64|$#,)!
3 f554 (554|@5|$#,554|$#,64|$#,)!
3 f0 (554|@5|$#,66|$#,64|$#,)!
3 f19 (554|@5|$#,66|$#,64|$#,)!
3 f554 (554|@5|$#,66|$#,64|$#,)!
3 f0 (554|$#,!.,)!
3 f5 (554|$#,!.,)!
3 f0 (554|$#,!.,)!
3 f5 (554|$#,!.,)!
0 s388|&
0 s389|&
3 C0.2/5|!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f677 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f677 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f677 (67|$#,)!
3 f0 (67|$#,675|$#,)!
3 f2 (67|$#,675|$#,)!
3 f677 (67|$#,675|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f677 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 C0.2/5|!
3 f695 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f695 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f695 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f695 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f695 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f695 (67|$#,)!
3 C0.2/5|!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f712 (67|$#,)!
3 C0.67/5|!
3 f0 (67|$#,676|$#,)!
3 f67 (67|$#,676|$#,)!
3 f716 (67|$#,676|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f716 (67|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f716 (67|$#,)!
3 f0 (23|$#,)!
3 f676 (23|$#,)!
3 f0 (23|$#,)!
3 f675 (23|$#,)!
3 f0 (23|$#,64|$#,)!
3 f5 (23|$#,64|$#,)!
3 f0 (554|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f5 (554|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f0 (23|4@5@7&#,66|$#,)!
3 f5 (23|4@5@7&#,66|$#,)!
3 f0 (554|4@0@7&#,23|$#,64|$#,)!
3 f64 (554|4@0@7&#,23|$#,64|$#,)!
3 f0 (23|4@0@7&#,554|$#,64|$#,)!
3 f64 (23|4@0@7&#,554|$#,64|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f1 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f740 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f0 (20|@5|4@0@7&#,20|$#,64|$#,)!
3 f1 (20|@5|4@0@7&#,20|$#,64|$#,)!
3 f740 (20|@5|4@0@7&#,20|$#,64|$#,)!
3 C0.1/23|!
3 f0 (23|@5|4@0@9&#,23|$#,)!
3 f1 (23|@5|4@0@9&#,23|$#,)!
3 f747 (23|@5|4@0@9&#,23|$#,)!
3 f0 (23|@5|4@0@9&#,23|$#,64|$#,)!
3 f1 (23|@5|4@0@9&#,23|$#,64|$#,)!
3 f747 (23|@5|4@0@9&#,23|$#,64|$#,)!
3 f0 (23|@5|0@0@9&#,23|$#,)!
3 f1 (23|@5|0@0@9&#,23|$#,)!
3 f747 (23|@5|0@0@9&#,23|$#,)!
3 f0 (23|@5|0@0@9&#,23|$#,64|$#,)!
3 f1 (23|@5|0@0@9&#,23|$#,64|$#,)!
3 f747 (23|@5|0@0@9&#,23|$#,64|$#,)!
3 f0 (20|$#,20|$#,64|$#,)!
3 f5 (20|$#,20|$#,64|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,64|$#,)!
3 f5 (23|$#,23|$#,64|$#,)!
3 f0 (23|4@5@7&#,23|$#,64|$#,)!
3 f64 (23|4@5@7&#,23|$#,64|$#,)!
3 f0 (20|$#,5|$#,64|$#,)!
3 f19 (20|$#,5|$#,64|$#,)!
3 f20 (20|$#,5|$#,64|$#,)!
3 f0 (23|@5|$#,436|$#,)!
3 f19 (23|@5|$#,436|$#,)!
3 f23 (23|@5|$#,436|$#,)!
3 f0 (23|$#,23|$#,)!
3 f64 (23|$#,23|$#,)!
3 f0 (23|@5|$#,23|$#,)!
3 f19 (23|@5|$#,23|$#,)!
3 f23 (23|@5|$#,23|$#,)!
3 f0 (23|@5|$#,436|$#,)!
3 f19 (23|@5|$#,436|$#,)!
3 f23 (23|@5|$#,436|$#,)!
3 f0 (23|$#,23|$#,)!
3 f64 (23|$#,23|$#,)!
3 f0 (23|@5|$#,23|$#,)!
3 f19 (23|@5|$#,23|$#,)!
3 f23 (23|@5|$#,23|$#,)!
3 f0 (23|@5|0@5@7&#,23|$#,)!
3 f19 (23|@5|0@5@7&#,23|$#,)!
3 f23 (23|@5|0@5@7&#,23|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@7&#,5|$#,64|$#,)!
3 f1 (20|@5|4@0@7&#,5|$#,64|$#,)!
3 f792 (20|@5|4@0@7&#,5|$#,64|$#,)!
3 f0 (5|$#,)!
3 f19 (5|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f64 (23|$#,)!
0 s435|&
0 s436|-1 810 -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 f801 ()!
3 f0 (802|$#,802|$#,)!
3 f17 (802|$#,802|$#,)!
3 f0 (616|$#,)!
3 f802 (616|$#,)!
1 t802|802&
3 f0 (810|4@5@7&#,)!
3 f802 (810|4@5@7&#,)!
3 f0 (616|$#,)!
3 f19 (616|$#,)!
3 f23 (616|$#,)!
3 f0 (810|$#,)!
3 f19 (810|$#,)!
3 f23 (810|$#,)!
3 f0 (810|$#,)!
3 f19 (810|$#,)!
3 f616 (810|$#,)!
3 f0 (810|$#,)!
3 f19 (810|$#,)!
3 f616 (810|$#,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,616|$#,)!
3 f64 (23|4@0@7&#,64|$#,23|$#,616|$#,)!
0 s446|&
0 s447|&
0 s448|&
0 s449|&
0 s450|&
0 s451|&
0 s452|&
0 s453|&
0 s454|&
0 s455|&
0 s456|&
0 s457|&
0 s458|&
0 s459|&
0 s460|&
0 s461|&
0 s462|&
0 s463|&
0 s464|&
0 s465|&
0 s466|&
0 s467|&
0 s468|&
0 s469|&
0 s470|&
0 s471|&
0 s472|&
0 s473|&
;;tistable
0
34
34,224
224
34,224,239
239
34,224,239,243
243
34,224,239,243,244
244
;;symTable
*0 (Datatype)
^0 2@a@-@0@0@0@0@2#_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__#__func__
^9 5$#__INCLUDE_LEVEL__
^10 23$#__VERSION__
*0 (Datatype)
^11 13@c@-@0@0@0@0@59#__SIZE_TYPE__
^12 13@c@-@0@0@0@0@60#__PTRDIFF_TYPE__
^13 13@c@-@0@0@0@0@61#__WCHAR_TYPE__
*1 (Constant)
^14 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
^17 5$#__STDC__#S_SPLINT_S#__LCLINT__#__i686
*3 (Variable)
^21 380|@1|6@0@0@0@1#stdin#stdout
*1 (Constant)
^23 5$#EDOM#ERANGE#EILSEQ
*3 (Variable)
^26 5|@1|6@0@0@0@1#errno
*0 (Datatype)
^27 2@-@-@0@0@0@0@62#bool
*1 (Constant)
^28 5@i1@0@0#__bool_true_false_are_defined
*0 (Datatype)
^29 13@-@-@0@0@0@0@63#ptrdiff_t
^30 14@-@-@0@0@0@0@64#size_t
^31 15@-@-@0@0@0@0@65#ssize_t
^32 13@-@-@0@0@0@0@66#wchar_t
^33 13@-@-@0@0@0@0@67#wint_t
^34 0@a@=@0@0@0@0@68#mbstate_t
*1 (Constant)
^35 0@i0@0@6#NULL
^36 2$#NDEBUG
*4 (Function)
^37 73@6@0@8@0@0^$@0#assert
^38 78$^$@0#isalnum
^39 81$^$@0#isalpha
^40 84$^$@0#iscntrl
^41 87$^$@0#isdigit
^42 91$^$@0#isgraph
^43 95$^$@0#islower
^44 98$^$@0#isprint
^45 101$^$@0#ispunct
^46 104$^$@0#isspace
^47 108$^$@0#isupper
^48 112$^$@0#isxdigit
^49 116$^$@0#tolower
^50 119$^$@0#toupper
*7 (Struct tag)
^51 120@121#@lconv
*1 (Constant)
^52 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
*4 (Function)
^58 124@6@5@1@0@0@0@s1,g26@6@0@1@s1,g26@19@3@0#setlocale
^59 128$^@3@0@0#localeconv
*3 (Variable)
^60 5|@1|6@0@0@0@1#DBL_DIG
^61 17|@1|6@0@0@0@1#DBL_EPSILON
^62 5|@1|6@0@0@0@1#DBL_MANT_DIG
^63 17|@1|6@0@0@0@1#DBL_MAX
^64 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
^66 17|@1|6@0@0@0@1#DBL_MIN
^67 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
^70 16|@1|6@0@0@0@1#FLT_EPSILON
^71 5|@1|6@0@0@0@1#FLT_MANT_DIG
^72 16|@1|6@0@0@0@1#FLT_MAX
^73 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
^75 16|@1|6@0@0@0@1#FLT_MIN
^76 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
*1 (Constant)
^78 5$#FLT_RADIX
*3 (Variable)
^79 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
^81 18|@1|6@0@0@0@1#LDBL_EPSILON
^82 5|@1|6@0@0@0@1#LDBL_MANT_DIG
^83 18|@1|6@0@0@0@1#LDBL_MAX
^84 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
^86 18|@1|6@0@0@0@1#LDBL_MIN
^87 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
*1 (Constant)
^89 5$#CHAR_BIT
^90 4$#CHAR_MAX#CHAR_MIN
^92 5$#INT_MAX#INT_MIN
^94 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
^97 4$#SCHAR_MAX#SCHAR_MIN
^99 7$#SHRT_MAX#SHRT_MIN
^101 3$#UCHAR_MAX#UCHAR_MIN
^103 6$#UINT_MAX
^104 10$#ULONG_MAX
^105 8$#USHRT_MAX
*0 (Datatype)
^106 16@-@-@0@0@0@0@129#float_t
^107 17@-@-@0@0@0@0@130#double_t
*1 (Constant)
^108 17$#HUGE_VAL
^109 16$#HUGE_VALF
^110 18$#HUGE_VALL
^111 16$#INFINITY#NAN
^113 5$#FP_INFINITE#FP_NAN#FP_NORMAL#FP_SUBNORMAL#FP_ZERO#FP_ILOGB0#FP_ILOGBNAN#DECIMAL_DIG
*0 (Datatype)
^121 132@-@-@0@0@0@0@133#s_real_t
*4 (Function)
^122 135$^$@0#fpclassify
^123 137$^$@0#signbit
^124 139$^$@0#isfinite
^125 141$^$@0#isnormal
^126 143$^$@0#isnan
^127 145$^$@0#isinf
^128 147$@0@g26@6@0@1@g26$@0#acos
^129 149$@0@g26@6@0@1@g26$@0#asin
^130 151$^$@0#atan
^131 153$^$@0#atan2
^132 155$^$@0#cos
^133 157$^$@0#sin
^134 159$^$@0#tan
^135 161$@0@g26@6@0@1@g26$@0#cosh
^136 163$@0@g26@6@0@1@g26$@0#sinh
^137 165$^$@0#tanh
^138 167$@0@g26@6@0@1@g26$@0#acosh
^139 169$@0@g26@6@0@1@g26$@0#asinh
^140 171$@0@g26@6@0@1@g26$@0#atanh
^141 173$@0@g26@6@0@1@g26$@0#exp
^142 175$@0@@1@tp1$@0#frexp
^143 177$@0@g26@6@0@1@g26$@0#ldexp
^144 179$@0@g26@6@0@1@g26$@0#log
^145 181$@0@g26@6@0@1@g26$@0#log10
^146 183$@0@@1@tp1$@0#modf
^147 185$@0@g26@6@0@1@g26$@0#exp2
^148 187$@0@g26@6@0@1@g26$@0#expm1
^149 189$@0@g26@6@0@1@g26$@0#log1p
^150 191$@0@g26@6@0@1@g26$@0#log2
^151 193$@0@g26@6@0@1@g26$@0#logb
^152 195$@0@g26@6@0@1@g26$@0#scalbn
^153 197$@0@g26@6@0@1@g26$@0#scalbln
^154 199$@0@g26@6@0@1@g26$@0#scalblnl
^155 201$@0@g26@6@0@1@g26$@0#ilogb
^156 203$@0@g26@6@0@1@g26$@0#ilogbf
^157 205$@0@g26@6@0@1@g26$@0#ilogbl
^158 207$^$@0#fabs
^159 209$^$@0#fabsf
^160 211$^$@0#fabsl
^161 213$@0@g26@6@0@1@g26$@0#pow
^162 215$@0@g26@6@0@1@g26$@0#powf
^163 217$@0@g26@6@0@1@g26$@0#powl
^164 219$@0@g26@6@0@1@g26$@0#sqrt
^165 221$@0@g26@6@0@1@g26$@0#sqrtf
^166 223$@0@g26@6@0@1@g26$@0#sqrtl
^167 225$^$@0#cbrt
^168 227$^$@0#cbrtf
^169 229$^$@0#cbrtl
^170 231$@0@g26@6@0@1@g26$@0#hypot
^171 233$@0@g26@6@0@1@g26$@0#hypotf
^172 235$@0@g26@6@0@1@g26$@0#hypotl
^173 237$^$@0#erf
^174 239$^$@0#erfc
^175 241$^$@0#erff
^176 243$^$@0#erfl
^177 245$^$@0#erfcf
^178 247$^$@0#erfcl
^179 249$@0@g26@6@0@1@g26$@0#gamma
^180 251$@0@g26@6@0@1@g26$@0#gammaf
^181 253$@0@g26@6@0@1@g26$@0#gammal
^182 255$@0@g26@6@0@1@g26$@0#lgamma
^183 257$@0@g26@6@0@1@g26$@0#lgammaf
^184 259$@0@g26@6@0@1@g26$@0#lgammal
^185 261$^$@0#ceil
^186 263$^$@0#ceilf
^187 265$^$@0#ceill
^188 267$^$@0#floor
^189 269$^$@0#floorf
^190 271$^$@0#floorl
^191 273$^$@0#nearbyint
^192 275$^$@0#nearbyintf
^193 277$^$@0#nearbyintl
^194 279$^$@0#rint
^195 281$^$@0#rintf
^196 283$^$@0#rintl
^197 285$@0@g26@6@0@1@g26$@0#lrint
^198 287$@0@g26@6@0@1@g26$@0#lrintf
^199 289$@0@g26@6@0@1@g26$@0#lrintl
^200 291$@0@g26@6@0@1@g26$@0#llrint
^201 293$@0@g26@6@0@1@g26$@0#llrintf
^202 295$@0@g26@6@0@1@g26$@0#llrintl
^203 297$^$@0#round
^204 299$@0@g26@6@0@1@g26$@0#lround
^205 301$@0@g26@6@0@1@g26$@0#llround
^206 303$^$@0#trunc
^207 305$^$@0#fmod
^208 307$^$@0#remainder
^209 309$@0@@1@tp2$@0#remquo
^210 311$^$@0#copysign
^211 313$^$@0#nan
^212 315$^$@0#nextafter
^213 317$^$@0#nextafterx
^214 319$@0@g26@6@0@1@g26$@0#fdim
^215 321$^$@0#fmax
^216 323$^$@0#fmin
^217 325$^$@0#fma
^218 327$^$@0#isgreater
^219 329$^$@0#isgreaterequal
^220 331$^$@0#isless
^221 333$^$@0#islessequal
^222 335$^$@0#islessgreater
^223 337$^$@0#isunordered
*0 (Datatype)
^224 20@a@+@0@0@0@0@338#jmp_buf
*4 (Function)
^225 340$@0@@1@p0$@0#setjmp
^226 342@6@0@5@0@0^$@0#longjmp
*1 (Constant)
^227 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
*0 (Datatype)
^233 13@-@-@0@0@0@0@343#sig_atomic_t
*1 (Constant)
^234 347$#SIG_DFL
^235 351$#SIG_ERR
^236 355$#SIG_IGN
*4 (Function)
^237 368@6@5@1@0@0@0@s1,g26@6@0@1@s1,g26$@0#signal
^238 370@6@0@5@0@0$$@0#raise
*0 (Datatype)
^239 20@a@+@0@0@0@0@371#va_list
*4 (Function)
^240 373$@0@@1@p0$@0#va_start
^241 375$@0@@1@p0$@0#va_end
^242 377$$$@0#va_copy
*0 (Datatype)
^243 20@a@+@0@0@0@0@378#FILE
^244 20@a@+@0@0@0@0@379#fpos_t
*1 (Constant)
^245 64$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
^249 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
*3 (Variable)
^257 380|@1|6@0@0@0@1#stderr
*4 (Function)
^258 382$@0@s3,g26@6@0@1@s3,g26$@0#remove
^259 384$@0@s3,g26@6@0@1@s3,g26$@0#rename
^260 387@6@5@1@0@0@0@s3,g26@6@0@1@s3,g26@18@0@0#tmpfile
^261 390$@0@s1@1@tp0,s1@19@3@0#tmpnam
^262 392$@0@g26@6@0,s3@1@tp0,g26,s3$@0#fclose
^263 394$@0@g26@6@0,s3@1@tp0,g26,s3$@0#fflush
^264 397@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
^265 400@6@5@1@0@0@0@s3,g26@6@0@1@tp2,s3,g26@18@0@0#freopen
^266 402$@0@s3@1@s3,tp0,tp1$@0#setbuf
^267 404$@0@s3@1@s3,tp0,tp1$@0#setvbuf
^268 408@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
^269 410@6@0@1@2@0@0@s3,g26@6@0@1@s3,tp0,g26$@0#fscanf
^270 413@6@0@1@1@0@1@g22@6@0,s3@1@s3,tg22$@0#printf
^271 415@6@0@1@2@0@1@g21@6@0,s3,g26@6@0@1@s3,tg21,g26$@0#scanf
^272 418@6@0@1@1@0@0@@1@tp0$@0@W:bufferoverflowhigh#Buffer overflow possible with sprintf.  Recommend using snprintf instead##sprintf
^273 420@6@0@1@1@0@0@@1@p0$@0#snprintf
^274 422@6@0@1@2@0@0@g26@6@0@1@g26$@0#sscanf
^275 424$@1@g22@6@0,s3@1@s3,tg22$@0#vprintf
^276 426$@0@s3,g26@6@0@1@s3,tp0,p2,g26$@0#vfprintf
^277 428$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
^278 430$@0@@1@p0$@0#vsnprintf
^279 432$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fgetc
^280 435@6@5@1@0@0@0@s3,g26@6@0@1@s3,tp0,tp2,g26$@0#fgets
^281 438$@0@s3,g26@6@0@1@s3,tp1,g26$@0#fputc
^282 440$@0@s3@1@s3,tp1$@0#fputs
^283 442$@0@s3,g26@6@0@1@s3,tp0,g26$@0#getc
^284 444$@1@g21@6@0,s3,g26@6@0@1@s3,tg21,g26$@0#getchar
^285 447@6@5@1@0@0@1@g21@6@0,s3,g26@6@0@1@s3,tp0,tg21,g26@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
^286 449$@0@s3,g26@6@0@1@s3,tp1,g26$@0#putc
^287 451$@1@g22@6@0,s3,g26@6@0@1@s3,tg22,g26$@0#putchar
^288 453$@1@g22@6@0,s3,g26@6@0@1@s3,tg22,g26$@0#puts
^289 455$@0@s3@1@s3,tp1$@0#ungetc
^290 457$@0@s3,g26@6@0@1@s3,tp0,tp3,g26$@0#fread
^291 459$@0@s3,g26@6@0@1@s3,tp3,g26$@0#fwrite
^292 462$@0@g26@6@0@1@tp1,g26$@0#fgetpos
^293 464$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fseek
^294 466$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fsetpos
^295 468$@0@g26@6@0@1@g26$@0#ftell
^296 470$@0@@1@tp0$@0#rewind
^297 472$@0@@1@tp0$@0#clearerr
^298 474$@0@g26@6@0@1@g26$@0#feof
^299 476$@0@g26@6@0@1@g26$@0#ferror
^300 478$@1@g26@6@0,g257@6@0,s3@1@s3,tg257$@0#perror
^301 480$^$@0#atof
^302 482$^$@0#atoi
^303 484$^$@0#atol
^304 488$@0@g26@6@0@1@tp1,g26$@0#strtod
^305 490$@0@g26@6@0@1@tp1,g26$@0#strtol
^306 492$@0@g26@6@0@1@tp1,g26$@0#strtoul
*1 (Constant)
^307 5$#RAND_MAX
*4 (Function)
^308 494$@0@s1@1@s1$@0#rand
^309 496$@0@s1@1@s1$@0#srand
^310 499@6@5@1@0@0^@2@0@0#calloc
^311 502@4@5@1@0@0^@2@0@0#malloc
^312 505@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
^313 507$@0@@1@p0$@0#free
*1 (Constant)
^314 5$#EXIT_FAILURE#EXIT_SUCCESS
*4 (Function)
^316 509@6@0@6@0@0^$@0#abort
^317 511@6@0@6@0@0^$@0#exit
^318 517$@0@s1@1@s1$@0#atexit
^319 520@6@5@1@0@0^@19@3@0#getenv
^320 522$@0@s3@1@s3$@0#system
^321 529@6@5@1@0@0^@18@0@0#bsearch
^322 535$@0@g26@6@0@1@tp0,g26$@0#qsort
^323 537$^$@0#abs
*7 (Struct tag)
^324 538@539#@!2
*0 (Datatype)
^325 538@c@-@0@0@0@0@540#div_t
*4 (Function)
^326 542$^$@0#div
^327 544$^$@0#labs
*7 (Struct tag)
^328 545@546#@!3
*0 (Datatype)
^329 545@c@-@0@0@0@0@547#ldiv_t
*4 (Function)
^330 549$^$@0#ldiv
*1 (Constant)
^331 64$#MB_CUR_MAX
^332 5$#WCHAR_MAX#WCHAR_MIN
^334 67$#WEOF
*4 (Function)
^335 551$^$@0#btowc
^336 553$@0@s3@1@s3,tp0$@0#fgetwc
^337 557@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
^338 559$@0@s3@1@s3,tp1$@0#fputwc
^339 561$@0@s3@1@s3,tp1$@0#fputws
^340 563$^$@0#fwide
^341 565@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
^342 567@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
^343 569$@0@s3@1@s3,tp0$@0#getwc
^344 571$@0@s3,g21@6@0@1@s3,tg21$@0#getwchar
^345 574$^$@0#mbrlen
^346 576$@0@@1@tp0$@0#mbrtowc
^347 578$^$@0#mbsinit
^348 580$@0@@1@tp0$@0#mbsrtowcs
^349 582$@0@s3@1@s3,tp1$@0#putwc
^350 584$@0@s3,g22@6@0@1@s3,tg22$@0#putwchar
^351 586@6@0@1@1@0@0@@1@tp0$@0#swprintf
^352 588@6@0@1@2@0@0@g21@6@0@1@tg21$@0#swscanf
^353 590$@0@s3@1@s3,tp1$@0#ungetwc
^354 592$@0@s3@1@s3,tp0$@0#vfwprintf
^355 594$@0@@1@tp0$@0#vswprintf
^356 596$@0@s3,g22@6@0@1@s3,tg22$@0#vwprintf
^357 598$@0@@1@tp0$@0#wcrtomb
^358 602$@0@@1@tp0$@0#wcscat
^359 605@6@5@1@0@0^@19@2@0#wcschr
^360 607$^$@0#wcscmp
^361 609$^$@0#wcscoll
^362 612$@0@@1@tp0$@0#wcscpy
^363 614$^$@0#wcscspn
*7 (Struct tag)
^364 803@615#@tm
*4 (Function)
^365 618$@0@@1@tp0$@0#wcsftime
^366 620$^$@0#wcslen
^367 624$@0@@1@tp0$@0#wcsncat
^368 626$^$@0#wcsncmp
^369 629$@0@@1@tp0$@0#wcsncpy
^370 632@6@5@1@0@0^$@0#wcspbrk
^371 635@6@5@1@0@0^$@0#wcsrchr
^372 638$@0@@1@tp1$@0#wcsrtombs
^373 640$^$@0#wcsspn
^374 643@6@5@1@0@0^@3@0@0#wcsstr
^375 645$@0@@1@tp1$@0#wcstod
^376 648@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
^377 650$@0@@1@tp1$@0#wcstol
^378 652$@0@@1@tp1$@0#wcstoul
^379 654$@0@@1@tp0$@0#wcsxfrm
^380 656$^$@0#wctob
^381 659@6@5@1@0@0^@3@0@0#wmemchr
^382 661$^$@0#wmemcmp
^383 664$@0@@1@tp0$@0#wmemcpy
^384 667$@0@@1@tp0$@0#wmemmove
^385 670$@0@@1@tp0$@0#wmemset
^386 672@6@0@1@1@0@1@g22@6@0,g26@6@0@1@g26,tg22$@0#wprintf
^387 674@6@0@1@2@0@1@g21@6@0,g26@6@0@1@g26,tg21$@0#wscanf
*0 (Datatype)
^388 13@-@-@0@0@0@0@675#wctype_t
^389 13@-@-@0@0@0@0@676#wctrans_t
*4 (Function)
^390 680$^$@0#iswalnum
^391 683$^$@0#iswalpha
^392 686$^$@0#iswcntrl
^393 689$^$@0#iswctype
^394 692$^$@0#iswdigit
^395 696$^$@0#iswgraph
^396 699$^$@0#iswlower
^397 702$^$@0#iswprint
^398 705$^$@0#iswpunct
^399 708$^$@0#iswspace
^400 711$^$@0#iswupper
^401 715$^$@0#iswxdigit
^402 719$^$@0#towctrans
^403 722$^$@0#towlower
^404 725$^$@0#towupper
^405 727$^$@0#wctrans
^406 729$^$@0#wctype
^407 731$^$@0#mblen
^408 733$@0@@1@tp0$@0#mbtowc
^409 735$@0@@1@tp0$@0#wctomb
^410 737$@0@@1@tp0$@0#mbstowcs
^411 739$@0@@1@tp0$@0#wcstombs
^412 743$@0@@1@tp0$@0#memcpy
^413 746$@0@@1@tp0$@0#memmove
^414 750$@0@@1@tp0$@0#strcpy
^415 753$@0@@1@tp0$@0#strncpy
^416 756$@0@@1@tp0$@0#strcat
^417 759$@0@@1@tp0$@0#strncat
^418 761$^$@0#memcmp
^419 763$^$@0#strcmp
^420 765$^$@0#strcoll
^421 767$^$@0#strncmp
^422 769$@0@@1@tp0$@0#strxfrm
^423 772@6@5@1@0@0^@3@0@0#memchr
^424 775@6@5@1@0@0^@19@2@0#strchr
^425 777$^$@0#strcspn
^426 780@6@5@1@0@0^@19@2@0#strpbrk
^427 783@6@5@1@0@0^@19@2@0#strrchr
^428 785$^$@0#strspn
^429 788@6@5@1@0@0^@19@2@0#strstr
^430 791@6@5@1@0@0@0@s1,g26@6@0@1@tp0,s1,g26@19@2@0#strtok
^431 795$@0@@1@tp0$@0#memset
^432 798$^@19@3@0#strerror
^433 800$^$@0#strlen
*1 (Constant)
^434 5$#CLOCKS_PER_SEC
*0 (Datatype)
^435 13@-@-@0@0@0@0@801#clock_t
^436 13@-@-@0@0@0@0@802#time_t
*4 (Function)
^437 805$@0@s1@1@s1$@0#clock
^438 807$^$@0#difftime
^439 809$^$@0#mktime
^440 812$@0@@1@tp0$@0#time
^441 815$@0@g26@6@0@1@g26@19@3@0#asctime
^442 818$^@19@3@0#ctime
^443 821$^@19@3@0#gmtime
^444 824$@0@g26@6@0@1@g26@19@3@0#localtime
^445 826$@0@@1@tp0$@0#strftime
*0 (Datatype)
^446 13@-@-@0@0@0@0@827#int8_t
^447 13@-@-@0@0@0@0@828#int16_t
^448 13@-@-@0@0@0@0@829#int32_t
^449 13@-@-@0@0@0@0@830#int64_t
^450 14@-@-@0@0@0@0@831#uint8_t
^451 14@-@-@0@0@0@0@832#uint16_t
^452 14@-@-@0@0@0@0@833#uint32_t
^453 14@-@-@0@0@0@0@834#uint64_t
^454 13@-@-@0@0@0@0@835#int_least8_t
^455 13@-@-@0@0@0@0@836#int_least16_t
^456 13@-@-@0@0@0@0@837#int_least32_t
^457 13@-@-@0@0@0@0@838#int_least64_t
^458 14@-@-@0@0@0@0@839#uint_least8_t
^459 14@-@-@0@0@0@0@840#uint_least16_t
^460 14@-@-@0@0@0@0@841#uint_least32_t
^461 14@-@-@0@0@0@0@842#uint_least64_t
^462 13@-@-@0@0@0@0@843#int_fast8_t
^463 13@-@-@0@0@0@0@844#int_fast16_t
^464 13@-@-@0@0@0@0@845#int_fast32_t
^465 13@-@-@0@0@0@0@846#int_fast64_t
^466 14@-@-@0@0@0@0@847#uint_fast8_t
^467 14@-@-@0@0@0@0@848#uint_fast16_t
^468 14@-@-@0@0@0@0@849#uint_fast32_t
^469 14@-@-@0@0@0@0@850#uint_fast64_t
^470 15@-@-@0@0@0@0@851#intptr_t
^471 14@-@-@0@0@0@0@852#uintptr_t
^472 15@-@-@0@0@0@0@853#intmax_t
^473 14@-@-@0@0@0@0@854#uintmax_t
*1 (Constant)
^474 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
^510 64$#INTPTR_MIN#INTPTR_MAX
;; Library constraints
start_Buffer_Constraints
setvbuf
pre:
C
0@1@3
l
1
1
2
2
Param 23 1
r
0
1
e1
2
2
Param 64 3
e2
2
3
-1
;; end precondition constraints
post:EMPTY
snprintf
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
2
2
Param 64 1
e2
2
3
-1
;; end precondition constraints
post:EMPTY
vsnprintf
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
2
2
Param 64 1
e2
2
3
-1
;; end precondition constraints
post:EMPTY
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
fread
pre:EMPTY
post:
C
0@1@4
l
1
3
2
2
Param 20 0
r
0
1
e1
2
2
Param 64 1
e2
2
3
-1
;; end precondition constraints
fwrite
pre:
C
0@1@3
l
1
3
2
2
Param 20 0
r
2
2
Param 64 1
;; end precondition constraints
post:EMPTY
fgetpos
pre:
C
0@1@3
l
1
1
2
2
Param 460 1
r
2
3
0
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Param 460 1
r
2
3
0
;; end precondition constraints
calloc
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 64 0
e2
2
3
-1
;; end precondition constraints
malloc
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 64 0
e2
2
3
-1
;; end precondition constraints
realloc
pre:EMPTY
post:
C
0@1@3
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 64 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 64 2
e2
2
3
-1
C
0@1@3
l
1
3
2
2
Param 20 1
r
0
1
e1
2
2
Param 64 2
e2
2
3
-1
;; end precondition constraints
post:EMPTY
memmove
pre:
C
0@1@3
l
1
1
2
2
Param 20 0
r
0
1
e1
2
2
Param 64 2
e2
2
3
-1
C
0@1@3
l
1
3
2
2
Param 20 1
r
0
1
e1
2
2
Param 64 2
e2
2
3
-1
;; end precondition constraints
post:EMPTY
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 64 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 64 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 64 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 64 2
;; end precondition constraints
strchr
pre:EMPTY
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:EMPTY
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:EMPTY
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 64 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 64 2
e2
2
3
-1
;; end precondition constraints
strlen
pre:EMPTY
post:
C
0@1@4
l
2
2
Result
r
1
3
2
2
Param 23 0
;; end precondition constraints
asctime
pre:EMPTY
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:EMPTY
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
_Bool#1@
types#1@
standard#9@
;;End