;;; Splint Library  posix.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 1089
1 t1|1&
1 t2|2&
1 t3|3&
1 t4|4 486 1090
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 s36|&
0 s38|&
0 s39|&
0 s40|&
0 s41|-1 554 -1
0 s42|&
0 a43|-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 s60|-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 s115|&
0 s116|&
3 C0.17/18|!
3 C0.16/131|!
0 s130|&
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 a233|&
3 f0 (338|4@0@7&#,)!
3 f5 (338|4@0@7&#,)!
3 f0 (338|$#,5|$#,)!
3 f1 (338|$#,5|$#,)!
0 s242|&
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 a248|&
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 a252|-1 380 -1
0 a253|-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 s333|&
0 s334|&
3 f0 (5|$#,5|$#,)!
3 f540 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|^#quot,9|@1|^#rem,}!
0 s337|&
0 s338|&
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 s373|-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 s397|&
0 s398|&
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 s444|&
0 s445|-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 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|&
0 s474|&
0 s475|&
0 s476|&
0 s477|&
0 s478|&
0 s479|&
0 s480|&
0 s481|&
0 s482|&
0 s521|&
0 s522|-1 -1 1110
0 s523|&
0 s524|&
0 s525|&
0 s526|&
0 s527|&
0 s528|&
0 a529|-1 866 -1
3 Sdirent{42|@1|^#d_name,}!
0 s530|-1 874 -1
1 t863|863&
3 f0 (866|$#,)!
3 f5 (866|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f866 (23|$#,)!
3 f0 (866|$#,)!
3 f19 (866|$#,)!
1 t865|865&
3 f874 (866|$#,)!
3 f0 (866|$#,)!
3 f1 (866|$#,)!
3 Sflock{7|@1|^#l_type,7|@1|^#l_whence,860|@1|^#l_start,860|@1|^#l_len,861|@1|^#l_pid,}!
0 s615|&
3 f0 (23|$#,858|$#,)!
3 f5 (23|$#,858|$#,)!
3 f0 (5|$#,5|$#,!.,)!
3 f5 (5|$#,5|$#,!.,)!
3 f0 (23|$#,5|$#,!.,)!
3 f5 (23|$#,5|$#,!.,)!
3 Sgroup{23|@1|0@0@3&#gr_name,856|@1|^#gr_gid,486|@1|0@0@3&#gr_mem,}!
0 s619|-1 890 -1
3 f0 (856|$#,)!
3 f19 (856|$#,)!
1 t887|887&
3 f890 (856|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f890 (23|$#,)!
3 Spasswd{23|@1|0@0@3&#pw_name,862|@1|^#pw_uid,856|@1|^#pw_gid,23|@1|0@0@3&#pw_dir,23|@1|0@0@3&#pw_shell,}!
0 s648|-1 899 -1
3 f0 (23|$#,)!
3 f19 (23|$#,)!
1 t896|896&
3 f899 (23|$#,)!
3 f0 (862|$#,)!
3 f19 (862|$#,)!
3 f899 (862|$#,)!
0 a651|&
3 f0 (904|$#,5|$#,)!
3 f1 (904|$#,5|$#,)!
3 f0 (904|4@0@7&#,5|$#,)!
3 f5 (904|4@0@7&#,5|$#,)!
0 a654|-1 956 -1
3 S!4{20|@1|0@0@3&#ss_sp,64|@1|^#ss_size,5|@1|^#ss_flags,}!
0 s655|&
0 s656|&
0 a657|&
0 s658|-1 915 -1
1 t914|914&
3 Ss_ucontext_t{915|@1|0@5@3&#uc_link,909|@1|0@0@3&#uc_sigmask,912|@1|^#uc_stack,913|@1|0@0@3&#uc_mcontext,}!
0 s659|-1 918 -1
1 t917|917&
3 f0 (918|$#,)!
3 f5 (918|$#,)!
3 f0 (918|$#,)!
3 f5 (918|$#,)!
3 ?!
3 f923 ()!
3 f1 ()^926
1 t925|925&
3 f0 (918|$#,926|$#,5|$#,!.,)!
3 f1 (918|$#,926|$#,5|$#,!.,)!
3 f0 (918|$#,918|$#,)!
3 f5 (918|$#,918|$#,)!
3 Ssigstack{5|@1|^#ss_onstack,20|@1|0@0@3&#ss_sp,}!
0 s681|&
0 s682|&
3 S!5{5|@1|^#si_signo,5|@1|^#si_errno,5|@1|^#si_code,861|@1|^#si_pid,862|@1|^#si_uid,20|@1|0@0@3&#si_addr,5|@1|^#si_status,9|@1|^#si_band,933|@1|0@0@3&#si_value,}!
0 s683|&
0 s684|-1 945 -1
3 U!6{5|@1|^#sival_int,20|@1|0@0@3&#sival_ptr,}!
0 s685|&
0 s686|&
3 ?!
3 f940 ()!
3 f1 ()^943
1 t942|942&
3 ?!
1 t936|936&
3 f944 (5|$#,945|$#,20|$#,)!
3 f1 (5|$#,945|$#,20|$#,)^948
1 t947|947&
3 Ssigaction{!943$$$@0#sa_handler,909|@1|0@0@3&#sa_mask,5|@1|^#sa_flags,!948$$$@0#sa_sigaction,}!
0 s687|-1 953 -1
3 f0 (861|$#,5|$#,)!
3 f5 (861|$#,5|$#,)!
1 t950|950&
3 f0 (5|$#,953|$#,953|4@5@7&#,)!
3 f5 (5|$#,953|$#,953|4@5@7&#,)!
1 t909|909&
3 f0 (956|$#,5|$#,)!
3 f5 (956|$#,5|$#,)!
3 f0 (956|$#,5|$#,)!
3 f5 (956|$#,5|$#,)!
3 f0 (956|4@0@7&#,)!
3 f5 (956|4@0@7&#,)!
3 f0 (956|4@0@7&#,)!
3 f5 (956|4@0@7&#,)!
3 f0 (956|$#,5|$#,)!
3 f5 (956|$#,5|$#,)!
3 f0 (956|4@0@7&#,)!
3 f5 (956|4@0@7&#,)!
3 f0 (5|$#,956|0@5@7&#,956|4@5@7&#,)!
3 f5 (5|$#,956|0@5@7&#,956|4@5@7&#,)!
3 f0 (956|$#,)!
3 f5 (956|$#,)!
3 f0 (5|$#,23|$#,)!
3 f19 (5|$#,23|$#,)!
3 f380 (5|$#,23|$#,)!
3 f0 (380|$#,)!
3 f5 (380|$#,)!
3 Sstat{858|@1|^#st_mode,857|@1|^#st_ino,855|@1|^#st_dev,859|@1|^#st_nlink,862|@1|^#st_uid,856|@1|^#st_gid,860|@1|^#st_size,802|@1|^#st_atime,802|@1|^#st_mtime,802|@1|^#st_ctime,}!
0 s702|-1 992 -1
3 f0 (858|@7|$#,)!
3 f2 (858|@7|$#,)!
3 f0 (858|@7|$#,)!
3 f2 (858|@7|$#,)!
3 f0 (858|@7|$#,)!
3 f2 (858|@7|$#,)!
3 f0 (858|@7|$#,)!
3 f2 (858|@7|$#,)!
3 f0 (858|@7|$#,)!
3 f2 (858|@7|$#,)!
3 f0 (23|$#,858|$#,)!
3 f5 (23|$#,858|$#,)!
1 t979|979&
3 f0 (5|$#,992|4@0@7&#,)!
3 f5 (5|$#,992|4@0@7&#,)!
3 f0 (23|$#,858|$#,)!
3 f5 (23|$#,858|$#,)!
3 f0 (23|$#,858|$#,)!
3 f5 (23|$#,858|$#,)!
3 f0 (23|$#,992|4@0@7&#,)!
3 f5 (23|$#,992|4@0@7&#,)!
3 f0 (858|$#,)!
3 f5 (858|$#,)!
3 Stms{801|@1|^#tms_utime,801|@1|^#tms_stime,801|@1|^#tms_cutime,801|@1|^#tms_cstime,}!
0 s714|-1 1005 -1
1 t1004|1004&
3 f0 (1005|4@0@7&#,)!
3 f801 (1005|4@0@7&#,)!
3 Sutsname{42|@1|^#sysname,42|@1|^#nodename,42|@1|^#release,42|@1|^#version,42|@1|^#machine,}!
0 s716|-1 1010 -1
1 t1009|1009&
3 f0 (1010|4@0@7&#,)!
3 f5 (1010|4@0@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (24|4@5@7&#,)!
3 f861 (24|4@5@7&#,)!
3 f0 (861|$#,24|4@5@7&#,5|$#,)!
3 f861 (861|$#,24|4@5@7&#,5|$#,)!
3 C0.4/8|!
3 C0.3/8|!
0 s729|&
3 C0.9/9|!
3 C0.10/9|!
0 s730|&
0 s731|&
3 Stermios{1035|@1|^#c_iflag,1035|@1|^#c_oflag,1035|@1|^#c_cflag,1035|@1|^#c_lflag,1031|@1|^#c_cc,}!
0 s800|-1 1038 -1
1 t1037|1037&
3 f0 (1038|$#,)!
3 f1034 (1038|$#,)!
3 f0 (1038|$#,)!
3 f1034 (1038|$#,)!
3 f0 (1038|$#,)!
3 f5 (1038|$#,)!
3 f0 (1038|$#,)!
3 f5 (1038|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,1038|4@0@7&#,)!
3 f5 (5|$#,1038|4@0@7&#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,5|$#,1038|$#,)!
3 f5 (5|$#,5|$#,1038|$#,)!
3 f0 ()!
3 f1 ()!
3 f0 (5|$#,)!
3 f1 (5|$#,)!
3 f0 (23|$#,5|$#,)!
3 f5 (23|$#,5|$#,)!
3 f0 (6|$#,)!
3 f6 (6|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,862|$#,856|$#,)!
3 f5 (23|$#,862|$#,856|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
3 f0 (23|4@5@7&#,)!
3 f19 (23|4@5@7&#,)!
3 f23 (23|4@5@7&#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (23|$#,23|$#,!.,)!
3 f5 (23|$#,23|$#,!.,)!
3 f0 (23|$#,23|$#,!.,)!
3 f5 (23|$#,23|$#,!.,)!
3 f0 (23|$#,23|$#,!.,)!
3 f5 (23|$#,23|$#,!.,)!
2 y19|19&
2 y23|23&
3 f0 (23|$#,1090|$#,)!
3 f5 (23|$#,1090|$#,)!
3 f0 (23|$#,1090|$#,486|$#,)!
3 f5 (23|$#,1090|$#,486|$#,)!
3 f0 (23|$#,1090|$#,)!
3 f5 (23|$#,1090|$#,)!
3 f0 ()!
3 f861 ()!
3 f0 (5|$#,5|$#,)!
3 f9 (5|$#,5|$#,)!
3 f0 (23|@5|4@2@7&#,64|$#,)!
3 f19 (23|@5|4@2@7&#,64|$#,)!
3 f23 (23|@5|4@2@7&#,64|$#,)!
3 f0 ()!
3 f856 ()!
3 f0 ()!
3 f862 ()!
3 f0 ()!
3 f856 ()!
2 y856|856&
3 f0 (5|$#,1110|4@0@7&#,)!
3 f5 (5|$#,1110|4@0@7&#,)!
3 f0 ()!
3 f19 ()!
3 f23 ()!
3 f0 ()!
3 f861 ()!
3 f0 ()!
3 f861 ()!
3 f0 ()!
3 f861 ()!
3 f0 ()!
3 f862 ()!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (5|$#,860|$#,5|$#,)!
3 f860 (5|$#,860|$#,5|$#,)!
3 f0 (23|$#,5|$#,)!
3 f9 (23|$#,5|$#,)!
3 f0 ()!
3 f5 ()!
3 f0 (43|4@0@7&#,)!
3 f5 (43|4@0@7&#,)!
3 f0 (5|$#,20|4@0@7&#,64|$#,)!
3 f65 (5|$#,20|4@0@7&#,64|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (856|$#,)!
3 f5 (856|$#,)!
3 f0 (861|$#,861|$#,)!
3 f5 (861|$#,861|$#,)!
3 f0 ()!
3 f861 ()!
3 f0 (862|$#,)!
3 f5 (862|$#,)!
3 f0 (6|$#,)!
3 f6 (6|$#,)!
3 f0 (5|$#,)!
3 f9 (5|$#,)!
3 f0 (5|$#,)!
3 f861 (5|$#,)!
3 f0 (5|$#,861|$#,)!
3 f5 (5|$#,861|$#,)!
3 f0 (5|$#,)!
3 f19 (5|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (5|$#,20|$#,64|$#,)!
3 f65 (5|$#,20|$#,64|$#,)!
3 Sutimbuf{802|@1|^#actime,802|@1|^#modtime,}!
0 s892|-1 1165 -1
1 t1164|1164&
3 f0 (23|$#,1165|0@5@7&#,)!
3 f5 (23|$#,1165|0@5@7&#,)!
0 a894|-1 1173 -1
0 s895|&
3 S!7{1169|@1|^#rm_so,1169|@1|^#rm_eo,}!
0 s896|&
0 s897|-1 -1 1176
1 t1168|1168&
3 f0 (1173|4@0@7&#,23|$#,5|$#,)!
3 f5 (1173|4@0@7&#,23|$#,5|$#,)!
2 y1172|1172&
3 f0 (1173|$#,23|$#,64|$#,1176|4@0@7&#,5|$#,)!
3 f5 (1173|$#,23|$#,64|$#,1176|4@0@7&#,5|$#,)!
3 f0 (5|$#,1173|$#,23|4@0@7&#,64|$#,)!
3 f64 (5|$#,1173|$#,23|4@0@7&#,64|$#,)!
3 f0 (1173|0@0@2&#,)!
3 f1 (1173|0@0@2&#,)!
;;tistable
0
43
43,233
233
43,233,248
248
43,233,248,252
252
43,233,248,252,253
253
529
529,651
651
529,651,654
654
529,651,654,657
657
529,651,654,657,894
894
;;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__#__i786#MSDOS#__MSDOS#__MSDOS__#DJGPP#__DJGPP#__DJGPP__#DJGPP_MINOR#__DJGPP_MINOR#__DJGPP_MINOR__
*3 (Variable)
^30 380|@1|6@0@0@0@1#stdin#stdout
*1 (Constant)
^32 5$#EDOM#ERANGE#EILSEQ
*3 (Variable)
^35 5|@1|6@0@0@0@1#errno
*0 (Datatype)
^36 2@-@-@0@0@0@0@62#bool
*1 (Constant)
^37 5@i1@0@0#__bool_true_false_are_defined
*0 (Datatype)
^38 13@-@-@0@0@0@0@63#ptrdiff_t
^39 14@-@-@0@0@0@0@64#size_t
^40 15@-@-@0@0@0@0@65#ssize_t
^41 13@-@-@0@0@0@0@66#wchar_t
^42 13@-@-@0@0@0@0@67#wint_t
^43 0@a@=@0@0@0@0@68#mbstate_t
*1 (Constant)
^44 0@i0@0@6#NULL
^45 2$#NDEBUG
*4 (Function)
^46 73@6@0@8@0@0^$@0#assert
^47 78$^$@0#isalnum
^48 81$^$@0#isalpha
^49 84$^$@0#iscntrl
^50 87$^$@0#isdigit
^51 91$^$@0#isgraph
^52 95$^$@0#islower
^53 98$^$@0#isprint
^54 101$^$@0#ispunct
^55 104$^$@0#isspace
^56 108$^$@0#isupper
^57 112$^$@0#isxdigit
^58 116$^$@0#tolower
^59 119$^$@0#toupper
*7 (Struct tag)
^60 120@121#@lconv
*1 (Constant)
^61 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
*4 (Function)
^67 124@6@5@1@0@0@0@s1,g35@6@0@1@s1,g35@19@3@0#setlocale
^68 128$^@3@0@0#localeconv
*3 (Variable)
^69 5|@1|6@0@0@0@1#DBL_DIG
^70 17|@1|6@0@0@0@1#DBL_EPSILON
^71 5|@1|6@0@0@0@1#DBL_MANT_DIG
^72 17|@1|6@0@0@0@1#DBL_MAX
^73 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
^75 17|@1|6@0@0@0@1#DBL_MIN
^76 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
^79 16|@1|6@0@0@0@1#FLT_EPSILON
^80 5|@1|6@0@0@0@1#FLT_MANT_DIG
^81 16|@1|6@0@0@0@1#FLT_MAX
^82 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
^84 16|@1|6@0@0@0@1#FLT_MIN
^85 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
*1 (Constant)
^87 5$#FLT_RADIX
*3 (Variable)
^88 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
^90 18|@1|6@0@0@0@1#LDBL_EPSILON
^91 5|@1|6@0@0@0@1#LDBL_MANT_DIG
^92 18|@1|6@0@0@0@1#LDBL_MAX
^93 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
^95 18|@1|6@0@0@0@1#LDBL_MIN
^96 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
*1 (Constant)
^98 5$#CHAR_BIT
^99 4$#CHAR_MAX#CHAR_MIN
^101 5$#INT_MAX#INT_MIN
^103 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
^106 4$#SCHAR_MAX#SCHAR_MIN
^108 7$#SHRT_MAX#SHRT_MIN
^110 3$#UCHAR_MAX#UCHAR_MIN
^112 6$#UINT_MAX
^113 10$#ULONG_MAX
^114 8$#USHRT_MAX
*0 (Datatype)
^115 16@-@-@0@0@0@0@129#float_t
^116 17@-@-@0@0@0@0@130#double_t
*1 (Constant)
^117 17$#HUGE_VAL
^118 16$#HUGE_VALF
^119 18$#HUGE_VALL
^120 16$#INFINITY#NAN
^122 5$#FP_INFINITE#FP_NAN#FP_NORMAL#FP_SUBNORMAL#FP_ZERO#FP_ILOGB0#FP_ILOGBNAN#DECIMAL_DIG
*0 (Datatype)
^130 132@-@-@0@0@0@0@133#s_real_t
*4 (Function)
^131 135$^$@0#fpclassify
^132 137$^$@0#signbit
^133 139$^$@0#isfinite
^134 141$^$@0#isnormal
^135 143$^$@0#isnan
^136 145$^$@0#isinf
^137 147$@0@g35@6@0@1@g35$@0#acos
^138 149$@0@g35@6@0@1@g35$@0#asin
^139 151$^$@0#atan
^140 153$^$@0#atan2
^141 155$^$@0#cos
^142 157$^$@0#sin
^143 159$^$@0#tan
^144 161$@0@g35@6@0@1@g35$@0#cosh
^145 163$@0@g35@6@0@1@g35$@0#sinh
^146 165$^$@0#tanh
^147 167$@0@g35@6@0@1@g35$@0#acosh
^148 169$@0@g35@6@0@1@g35$@0#asinh
^149 171$@0@g35@6@0@1@g35$@0#atanh
^150 173$@0@g35@6@0@1@g35$@0#exp
^151 175$@0@@1@tp1$@0#frexp
^152 177$@0@g35@6@0@1@g35$@0#ldexp
^153 179$@0@g35@6@0@1@g35$@0#log
^154 181$@0@g35@6@0@1@g35$@0#log10
^155 183$@0@@1@tp1$@0#modf
^156 185$@0@g35@6@0@1@g35$@0#exp2
^157 187$@0@g35@6@0@1@g35$@0#expm1
^158 189$@0@g35@6@0@1@g35$@0#log1p
^159 191$@0@g35@6@0@1@g35$@0#log2
^160 193$@0@g35@6@0@1@g35$@0#logb
^161 195$@0@g35@6@0@1@g35$@0#scalbn
^162 197$@0@g35@6@0@1@g35$@0#scalbln
^163 199$@0@g35@6@0@1@g35$@0#scalblnl
^164 201$@0@g35@6@0@1@g35$@0#ilogb
^165 203$@0@g35@6@0@1@g35$@0#ilogbf
^166 205$@0@g35@6@0@1@g35$@0#ilogbl
^167 207$^$@0#fabs
^168 209$^$@0#fabsf
^169 211$^$@0#fabsl
^170 213$@0@g35@6@0@1@g35$@0#pow
^171 215$@0@g35@6@0@1@g35$@0#powf
^172 217$@0@g35@6@0@1@g35$@0#powl
^173 219$@0@g35@6@0@1@g35$@0#sqrt
^174 221$@0@g35@6@0@1@g35$@0#sqrtf
^175 223$@0@g35@6@0@1@g35$@0#sqrtl
^176 225$^$@0#cbrt
^177 227$^$@0#cbrtf
^178 229$^$@0#cbrtl
^179 231$@0@g35@6@0@1@g35$@0#hypot
^180 233$@0@g35@6@0@1@g35$@0#hypotf
^181 235$@0@g35@6@0@1@g35$@0#hypotl
^182 237$^$@0#erf
^183 239$^$@0#erfc
^184 241$^$@0#erff
^185 243$^$@0#erfl
^186 245$^$@0#erfcf
^187 247$^$@0#erfcl
^188 249$@0@g35@6@0@1@g35$@0#gamma
^189 251$@0@g35@6@0@1@g35$@0#gammaf
^190 253$@0@g35@6@0@1@g35$@0#gammal
^191 255$@0@g35@6@0@1@g35$@0#lgamma
^192 257$@0@g35@6@0@1@g35$@0#lgammaf
^193 259$@0@g35@6@0@1@g35$@0#lgammal
^194 261$^$@0#ceil
^195 263$^$@0#ceilf
^196 265$^$@0#ceill
^197 267$^$@0#floor
^198 269$^$@0#floorf
^199 271$^$@0#floorl
^200 273$^$@0#nearbyint
^201 275$^$@0#nearbyintf
^202 277$^$@0#nearbyintl
^203 279$^$@0#rint
^204 281$^$@0#rintf
^205 283$^$@0#rintl
^206 285$@0@g35@6@0@1@g35$@0#lrint
^207 287$@0@g35@6@0@1@g35$@0#lrintf
^208 289$@0@g35@6@0@1@g35$@0#lrintl
^209 291$@0@g35@6@0@1@g35$@0#llrint
^210 293$@0@g35@6@0@1@g35$@0#llrintf
^211 295$@0@g35@6@0@1@g35$@0#llrintl
^212 297$^$@0#round
^213 299$@0@g35@6@0@1@g35$@0#lround
^214 301$@0@g35@6@0@1@g35$@0#llround
^215 303$^$@0#trunc
^216 305$^$@0#fmod
^217 307$^$@0#remainder
^218 309$@0@@1@tp2$@0#remquo
^219 311$^$@0#copysign
^220 313$^$@0#nan
^221 315$^$@0#nextafter
^222 317$^$@0#nextafterx
^223 319$@0@g35@6@0@1@g35$@0#fdim
^224 321$^$@0#fmax
^225 323$^$@0#fmin
^226 325$^$@0#fma
^227 327$^$@0#isgreater
^228 329$^$@0#isgreaterequal
^229 331$^$@0#isless
^230 333$^$@0#islessequal
^231 335$^$@0#islessgreater
^232 337$^$@0#isunordered
*0 (Datatype)
^233 20@a@+@0@0@0@0@338#jmp_buf
*4 (Function)
^234 340$@0@@1@p0$@0#setjmp
^235 342@6@0@5@0@0^$@0#longjmp
*1 (Constant)
^236 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
*0 (Datatype)
^242 13@-@-@0@0@0@0@343#sig_atomic_t
*1 (Constant)
^243 347$#SIG_DFL
^244 351$#SIG_ERR
^245 355$#SIG_IGN
*4 (Function)
^246 368@6@5@1@0@0@0@s1,g35@6@0@1@s1,g35$@0#signal
^247 370@6@0@5@0@0$$@0#raise
*0 (Datatype)
^248 20@a@+@0@0@0@0@371#va_list
*4 (Function)
^249 373$@0@@1@p0$@0#va_start
^250 375$@0@@1@p0$@0#va_end
^251 377$$$@0#va_copy
*0 (Datatype)
^252 20@a@+@0@0@0@0@378#FILE
^253 20@a@+@0@0@0@0@379#fpos_t
*1 (Constant)
^254 64$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
^258 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
*3 (Variable)
^266 380|@1|6@0@0@0@1#stderr
*4 (Function)
^267 382$@0@s3,g35@6@0@1@s3,g35$@0#remove
^268 384$@0@s3,g35@6@0@1@s3,g35$@0#rename
^269 387@6@5@1@0@0@0@s3,g35@6@0@1@s3,g35@18@0@0#tmpfile
^270 390$@0@s1@1@tp0,s1@19@3@0#tmpnam
^271 392$@0@g35@6@0,s3@1@tp0,g35,s3$@0#fclose
^272 394$@0@g35@6@0,s3@1@tp0,g35,s3$@0#fflush
^273 397@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
^274 400@6@5@1@0@0@0@s3,g35@6@0@1@tp2,s3,g35@18@0@0#freopen
^275 402$@0@s3@1@s3,tp0,tp1$@0#setbuf
^276 404$@0@s3@1@s3,tp0,tp1$@0#setvbuf
^277 408@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
^278 410@6@0@1@2@0@0@s3,g35@6@0@1@s3,tp0,g35$@0#fscanf
^279 413@6@0@1@1@0@1@g31@6@0,s3@1@s3,tg31$@0#printf
^280 415@6@0@1@2@0@1@g30@6@0,s3,g35@6@0@1@s3,tg30,g35$@0#scanf
^281 418@6@0@1@1@0@0@@1@tp0$@0@W:bufferoverflowhigh#Buffer overflow possible with sprintf.  Recommend using snprintf instead##sprintf
^282 420@6@0@1@1@0@0@@1@p0$@0#snprintf
^283 422@6@0@1@2@0@0@g35@6@0@1@g35$@0#sscanf
^284 424$@1@g31@6@0,s3@1@s3,tg31$@0#vprintf
^285 426$@0@s3,g35@6@0@1@s3,tp0,p2,g35$@0#vfprintf
^286 428$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
^287 430$@0@@1@p0$@0#vsnprintf
^288 432$@0@s3,g35@6@0@1@s3,tp0,g35$@0#fgetc
^289 435@6@5@1@0@0@0@s3,g35@6@0@1@s3,tp0,tp2,g35$@0#fgets
^290 438$@0@s3,g35@6@0@1@s3,tp1,g35$@0#fputc
^291 440$@0@s3@1@s3,tp1$@0#fputs
^292 442$@0@s3,g35@6@0@1@s3,tp0,g35$@0#getc
^293 444$@1@g30@6@0,s3,g35@6@0@1@s3,tg30,g35$@0#getchar
^294 447@6@5@1@0@0@1@g30@6@0,s3,g35@6@0@1@s3,tp0,tg30,g35@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
^295 449$@0@s3,g35@6@0@1@s3,tp1,g35$@0#putc
^296 451$@1@g31@6@0,s3,g35@6@0@1@s3,tg31,g35$@0#putchar
^297 453$@1@g31@6@0,s3,g35@6@0@1@s3,tg31,g35$@0#puts
^298 455$@0@s3@1@s3,tp1$@0#ungetc
^299 457$@0@s3,g35@6@0@1@s3,tp0,tp3,g35$@0#fread
^300 459$@0@s3,g35@6@0@1@s3,tp3,g35$@0#fwrite
^301 462$@0@g35@6@0@1@tp1,g35$@0#fgetpos
^302 464$@0@s3,g35@6@0@1@s3,tp0,g35$@0#fseek
^303 466$@0@s3,g35@6@0@1@s3,tp0,g35$@0#fsetpos
^304 468$@0@g35@6@0@1@g35$@0#ftell
^305 470$@0@@1@tp0$@0#rewind
^306 472$@0@@1@tp0$@0#clearerr
^307 474$@0@g35@6@0@1@g35$@0#feof
^308 476$@0@g35@6@0@1@g35$@0#ferror
^309 478$@1@g35@6@0,g266@6@0,s3@1@s3,tg266$@0#perror
^310 480$^$@0#atof
^311 482$^$@0#atoi
^312 484$^$@0#atol
^313 488$@0@g35@6@0@1@tp1,g35$@0#strtod
^314 490$@0@g35@6@0@1@tp1,g35$@0#strtol
^315 492$@0@g35@6@0@1@tp1,g35$@0#strtoul
*1 (Constant)
^316 5$#RAND_MAX
*4 (Function)
^317 494$@0@s1@1@s1$@0#rand
^318 496$@0@s1@1@s1$@0#srand
^319 499@6@5@1@0@0^@2@0@0#calloc
^320 502@4@5@1@0@0^@2@0@0#malloc
^321 505@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
^322 507$@0@@1@p0$@0#free
*1 (Constant)
^323 5$#EXIT_FAILURE#EXIT_SUCCESS
*4 (Function)
^325 509@6@0@6@0@0^$@0#abort
^326 511@6@0@6@0@0^$@0#exit
^327 517$@0@s1@1@s1$@0#atexit
^328 520@6@5@1@0@0^@19@3@0#getenv
^329 522$@0@s3@1@s3$@0#system
^330 529@6@5@1@0@0^@18@0@0#bsearch
^331 535$@0@g35@6@0@1@tp0,g35$@0#qsort
^332 537$^$@0#abs
*7 (Struct tag)
^333 538@539#@!2
*0 (Datatype)
^334 538@c@-@0@0@0@0@540#div_t
*4 (Function)
^335 542$^$@0#div
^336 544$^$@0#labs
*7 (Struct tag)
^337 545@546#@!3
*0 (Datatype)
^338 545@c@-@0@0@0@0@547#ldiv_t
*4 (Function)
^339 549$^$@0#ldiv
*1 (Constant)
^340 64$#MB_CUR_MAX
^341 5$#WCHAR_MAX#WCHAR_MIN
^343 67$#WEOF
*4 (Function)
^344 551$^$@0#btowc
^345 553$@0@s3@1@s3,tp0$@0#fgetwc
^346 557@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
^347 559$@0@s3@1@s3,tp1$@0#fputwc
^348 561$@0@s3@1@s3,tp1$@0#fputws
^349 563$^$@0#fwide
^350 565@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
^351 567@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
^352 569$@0@s3@1@s3,tp0$@0#getwc
^353 571$@0@s3,g30@6@0@1@s3,tg30$@0#getwchar
^354 574$^$@0#mbrlen
^355 576$@0@@1@tp0$@0#mbrtowc
^356 578$^$@0#mbsinit
^357 580$@0@@1@tp0$@0#mbsrtowcs
^358 582$@0@s3@1@s3,tp1$@0#putwc
^359 584$@0@s3,g31@6@0@1@s3,tg31$@0#putwchar
^360 586@6@0@1@1@0@0@@1@tp0$@0#swprintf
^361 588@6@0@1@2@0@0@g30@6@0@1@tg30$@0#swscanf
^362 590$@0@s3@1@s3,tp1$@0#ungetwc
^363 592$@0@s3@1@s3,tp0$@0#vfwprintf
^364 594$@0@@1@tp0$@0#vswprintf
^365 596$@0@s3,g31@6@0@1@s3,tg31$@0#vwprintf
^366 598$@0@@1@tp0$@0#wcrtomb
^367 602$@0@@1@tp0$@0#wcscat
^368 605@6@5@1@0@0^@19@2@0#wcschr
^369 607$^$@0#wcscmp
^370 609$^$@0#wcscoll
^371 612$@0@@1@tp0$@0#wcscpy
^372 614$^$@0#wcscspn
*7 (Struct tag)
^373 803@615#@tm
*4 (Function)
^374 618$@0@@1@tp0$@0#wcsftime
^375 620$^$@0#wcslen
^376 624$@0@@1@tp0$@0#wcsncat
^377 626$^$@0#wcsncmp
^378 629$@0@@1@tp0$@0#wcsncpy
^379 632@6@5@1@0@0^$@0#wcspbrk
^380 635@6@5@1@0@0^$@0#wcsrchr
^381 638$@0@@1@tp1$@0#wcsrtombs
^382 640$^$@0#wcsspn
^383 643@6@5@1@0@0^@3@0@0#wcsstr
^384 645$@0@@1@tp1$@0#wcstod
^385 648@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
^386 650$@0@@1@tp1$@0#wcstol
^387 652$@0@@1@tp1$@0#wcstoul
^388 654$@0@@1@tp0$@0#wcsxfrm
^389 656$^$@0#wctob
^390 659@6@5@1@0@0^@3@0@0#wmemchr
^391 661$^$@0#wmemcmp
^392 664$@0@@1@tp0$@0#wmemcpy
^393 667$@0@@1@tp0$@0#wmemmove
^394 670$@0@@1@tp0$@0#wmemset
^395 672@6@0@1@1@0@1@g31@6@0,g35@6@0@1@g35,tg31$@0#wprintf
^396 674@6@0@1@2@0@1@g30@6@0,g35@6@0@1@g35,tg30$@0#wscanf
*0 (Datatype)
^397 13@-@-@0@0@0@0@675#wctype_t
^398 13@-@-@0@0@0@0@676#wctrans_t
*4 (Function)
^399 680$^$@0#iswalnum
^400 683$^$@0#iswalpha
^401 686$^$@0#iswcntrl
^402 689$^$@0#iswctype
^403 692$^$@0#iswdigit
^404 696$^$@0#iswgraph
^405 699$^$@0#iswlower
^406 702$^$@0#iswprint
^407 705$^$@0#iswpunct
^408 708$^$@0#iswspace
^409 711$^$@0#iswupper
^410 715$^$@0#iswxdigit
^411 719$^$@0#towctrans
^412 722$^$@0#towlower
^413 725$^$@0#towupper
^414 727$^$@0#wctrans
^415 729$^$@0#wctype
^416 731$^$@0#mblen
^417 733$@0@@1@tp0$@0#mbtowc
^418 735$@0@@1@tp0$@0#wctomb
^419 737$@0@@1@tp0$@0#mbstowcs
^420 739$@0@@1@tp0$@0#wcstombs
^421 743$@0@@1@tp0$@0#memcpy
^422 746$@0@@1@tp0$@0#memmove
^423 750$@0@@1@tp0$@0#strcpy
^424 753$@0@@1@tp0$@0#strncpy
^425 756$@0@@1@tp0$@0#strcat
^426 759$@0@@1@tp0$@0#strncat
^427 761$^$@0#memcmp
^428 763$^$@0#strcmp
^429 765$^$@0#strcoll
^430 767$^$@0#strncmp
^431 769$@0@@1@tp0$@0#strxfrm
^432 772@6@5@1@0@0^@3@0@0#memchr
^433 775@6@5@1@0@0^@19@2@0#strchr
^434 777$^$@0#strcspn
^435 780@6@5@1@0@0^@19@2@0#strpbrk
^436 783@6@5@1@0@0^@19@2@0#strrchr
^437 785$^$@0#strspn
^438 788@6@5@1@0@0^@19@2@0#strstr
^439 791@6@5@1@0@0@0@s1,g35@6@0@1@tp0,s1,g35@19@2@0#strtok
^440 795$@0@@1@tp0$@0#memset
^441 798$^@19@3@0#strerror
^442 800$^$@0#strlen
*1 (Constant)
^443 5$#CLOCKS_PER_SEC
*0 (Datatype)
^444 13@-@-@0@0@0@0@801#clock_t
^445 13@-@-@0@0@0@0@802#time_t
*4 (Function)
^446 805$@0@s1@1@s1$@0#clock
^447 807$^$@0#difftime
^448 809$^$@0#mktime
^449 812$@0@@1@tp0$@0#time
^450 815$@0@g35@6@0@1@g35@19@3@0#asctime
^451 818$^@19@3@0#ctime
^452 821$^@19@3@0#gmtime
^453 824$@0@g35@6@0@1@g35@19@3@0#localtime
^454 826$@0@@1@tp0$@0#strftime
*0 (Datatype)
^455 13@-@-@0@0@0@0@827#int8_t
^456 13@-@-@0@0@0@0@828#int16_t
^457 13@-@-@0@0@0@0@829#int32_t
^458 13@-@-@0@0@0@0@830#int64_t
^459 14@-@-@0@0@0@0@831#uint8_t
^460 14@-@-@0@0@0@0@832#uint16_t
^461 14@-@-@0@0@0@0@833#uint32_t
^462 14@-@-@0@0@0@0@834#uint64_t
^463 13@-@-@0@0@0@0@835#int_least8_t
^464 13@-@-@0@0@0@0@836#int_least16_t
^465 13@-@-@0@0@0@0@837#int_least32_t
^466 13@-@-@0@0@0@0@838#int_least64_t
^467 14@-@-@0@0@0@0@839#uint_least8_t
^468 14@-@-@0@0@0@0@840#uint_least16_t
^469 14@-@-@0@0@0@0@841#uint_least32_t
^470 14@-@-@0@0@0@0@842#uint_least64_t
^471 13@-@-@0@0@0@0@843#int_fast8_t
^472 13@-@-@0@0@0@0@844#int_fast16_t
^473 13@-@-@0@0@0@0@845#int_fast32_t
^474 13@-@-@0@0@0@0@846#int_fast64_t
^475 14@-@-@0@0@0@0@847#uint_fast8_t
^476 14@-@-@0@0@0@0@848#uint_fast16_t
^477 14@-@-@0@0@0@0@849#uint_fast32_t
^478 14@-@-@0@0@0@0@850#uint_fast64_t
^479 15@-@-@0@0@0@0@851#intptr_t
^480 14@-@-@0@0@0@0@852#uintptr_t
^481 15@-@-@0@0@0@0@853#intmax_t
^482 14@-@-@0@0@0@0@854#uintmax_t
*1 (Constant)
^483 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
^519 64$#INTPTR_MIN#INTPTR_MAX
*0 (Datatype)
^521 13@-@-@0@0@0@0@855#dev_t
^522 13@-@-@0@0@0@0@856#gid_t
^523 14@-@-@0@0@0@0@857#ino_t
^524 13@-@-@0@0@0@0@858#mode_t
^525 13@-@-@0@0@0@0@859#nlink_t
^526 13@-@-@0@0@0@0@860#off_t
^527 13@-@-@0@0@0@0@861#pid_t
^528 13@-@-@0@0@0@0@862#uid_t
^529 20@a@+@0@0@0@0@863#DIR
*7 (Struct tag)
^530 864@865#@dirent
*4 (Function)
^531 868$@0@g35@6@0@1@g35$@0#closedir
^532 871@6@5@1@0@0@0@g35@6@0,s3@1@g35,s3@18@0@0#opendir
^533 875@6@5@1@0@0@0@g35@6@0@1@g35@18@0@0#readdir
^534 877$^$@0#rewinddir
*1 (Constant)
^535 5$#E2BIG#EACCES#EAGAIN#EBADF#EBUSY#ECHILD#EDEADLK#EEXIST#EFAULT#EFBIG#EINTR#EINVAL#EIO#EISDIR#EMFILE#EMLINK#ENAMETOOLONG#ENFILE#ENODEV#ENOENT#ENOEXEC#ENOLCK#ENOMEM#ENOSPC#ENOSYS#ENOTDIR#ENOTEMPTY#ENOTTY#ENXIO#EPERM#EPIPE#EROFS#ESPIPE#ESRCH#EXDEV#FD_CLOEXEC#F_DUPFD#F_GETFD#F_GETFL#F_GETLK#F_RDLCK#F_SETFD#F_SETFL#F_SETLK#F_SETLKW#F_UNLCK#F_WRLCK#O_ACCMODE#O_APPEND#O_CREAT#O_EXCL#O_NOCTTY#O_NONBLOCK#O_RDONLY#O_RDWR#O_TRUNC#O_WRONLY
^592 858$#S_IFMT#S_IFBLK#S_IFCHR#S_IFIFO#S_IFREG#S_IFDIR#S_IFLNK#S_IRWXU#S_IRUSR#S_IRGRP#S_IROTH#S_IUSR#S_IWXG#S_IWXO#S_IWXU#S_ISGID#S_ISUID#S_IWGRP#S_IWOTH#S_IWUSR#S_IXGRP#S_IXOTH#S_IXUSR
*7 (Struct tag)
^615 878@879#@flock
*4 (Function)
^616 881$@0@g35@6@0@1@g35$@0#creat
^617 883$@0@g35@6@0@1@g35$@0#fcntl
^618 885$@0@g35@6@0@1@g35$@0#open
*7 (Struct tag)
^619 886@887#@group
*4 (Function)
^620 891@6@5@1@0@0@0@g35@6@0@1@g35@19@3@0#getgrgid
^621 894@6@5@1@0@0@0@g35@6@0@1@g35@19@3@0#getgrnam
*1 (Constant)
^622 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
^626 64$#MAX_INPUT#NAME_MAX
^628 9$#NGROUPS_MAX#OPEN_MAX
^630 64$#PATH_MAX#PIPE_BUF
^632 9$#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
*7 (Struct tag)
^648 895@896#@passwd
*4 (Function)
^649 900@6@5@1@0@0@0@g35@6@0@1@g35@19@3@0#getpwnam
^650 903@6@5@1@0@0@0@g35@6@0@1@g35@19@3@0#getpwuid
*0 (Datatype)
^651 20@a@+@0@0@0@0@904#sigjmp_buf
*4 (Function)
^652 906@6@0@5@0@0^$@0#siglongjmp
^653 908$@0@@1@p0$@0#sigsetjmp
*0 (Datatype)
^654 0@a@=@0@0@0@0@909#sigset_t
*7 (Struct tag)
^655 910@911#@!4
*0 (Datatype)
^656 910@-@-@0@0@0@0@912#stack_t
^657 0@a@=@0@0@0@0@913#mcontext_t
*7 (Struct tag)
^658 916@914#@s_ucontext_t
*0 (Datatype)
^659 914@-@+@0@0@0@0@917#ucontext_t
*4 (Function)
^660 920$$$@0#getcontext
^661 922$$$@0#setcontext
^662 928$$$@0#makecontext
^663 930$$$@0#swapcontext
*1 (Constant)
^664 5$#SA_NOCLDSTOP#SIG_BLOCK#SIG_SETMASK#SIG_UNBLOCK#SIGALRM#SIGCHLD#SIGCONT#SIGHUP#SIGKILL#SIGPIPE#SIGQUIT#SIGSTOP#SIGTSTP#SIGTTIN#SIGTTOU#SIGUSR1#SIGUSR2
*7 (Struct tag)
^681 931@932#@sigstack
*8 (Union tag)
^682 0@933#$sigval
*7 (Struct tag)
^683 934@935#@!5
*0 (Datatype)
^684 934@-@-@0@0@0@0@936#siginfo_t
*8 (Union tag)
^685 937@938#$!6
*0 (Datatype)
^686 937@-@-@0@0@0@0@939#sigval
*7 (Struct tag)
^687 949@950#@sigaction
*4 (Function)
^688 952@6@0@5@0@0@0@g35@6@0@1@g35$@0#kill
^689 955$@0@g35@6@0,s3@1@tp2,g35,s3$@0#sigaction
^690 958$@0@g35@6@0@1@tp0,g35$@0#sigaddset
^691 960$@0@g35@6@0@1@tp0,g35$@0#sigdelset
^692 962$@0@g35@6@0@1@tp0,g35$@0#sigemptyset
^693 964$@0@g35@6@0@1@tp0,g35$@0#sigfillset
^694 966$@0@g35@6@0@1@g35$@0#sigismember
^695 968$@0@g35@6@0@1@tp0,g35$@0#sigpending
^696 970$@0@g35@6@0,s3@1@tp2,g35,s3$@0#sigprocmask
^697 972$@0@g35@6@0,s3@1@g35,s3$@0#sigsuspend
*1 (Constant)
^698 5$#L_ctermid#L_cuserid
*4 (Function)
^700 975@6@5@1@0@0@0@g35@6@0,s3@1@g35,s3@18@0@0#fdopen
^701 977$@0@g35@6@0@1@g35$@0#fileno
*7 (Struct tag)
^702 978@979#@stat
*4 (Function)
^703 981$^$@0#S_ISBLK
^704 983$^$@0#S_ISCHR
^705 985$^$@0#S_ISDIR
^706 987$^$@0#S_ISFIFO
^707 989$^$@0#S_ISREG
^708 991$@0@s3,g35@6@0@1@s3,g35$@0#chmod
^709 994$@0@g35@6@0@1@g35,tp1$@0#fstat
^710 996$@0@s3,g35@6@0@1@s3,g35$@0#mkdir
^711 998$@0@s3,g35@6@0@1@s3,g35$@0#mkfifo
^712 1000$@0@g35@6@0@1@g35,tp1$@0#stat
^713 1002$@0@s3@1@s3$@0#umask
*7 (Struct tag)
^714 1003@1004#@tms
*4 (Function)
^715 1007$@0@@1@tp0$@0#times
*7 (Struct tag)
^716 1008@1009#@utsname
*4 (Function)
^717 1012$@0@g35@6@0@1@tp0,g35$@0#uname
^718 1014$^$@0#WEXITSTATUS
^719 1016$^$@0#WIFEXITED
^720 1018$^$@0#WIFSIGNALED
^721 1020$^$@0#WIFSTOPPED
^722 1022$^$@0#WSTOPSIG
^723 1024$^$@0#WTERMSIG
*1 (Constant)
^724 5$#WUNTRACED#WCONTINUED#WNOHANG
*4 (Function)
^727 1026$@0@g35@6@0,s3@1@tp0,g35,s3$@0#wait
^728 1028$@0@g35@6@0,s3@1@tp1,g35,s3$@0#waitpid
*0 (Datatype)
^729 1030@-@-@0@0@0@0@1031#cc_t
^730 1033@-@-@0@0@0@0@1034#speed_t
^731 1033@-@-@0@0@0@0@1035#tcflag_t
*1 (Constant)
^732 5$#B0#B50#B75#B110#B134#B150#B200#B300#B600#B1200#B1800#B2400#B4800#B9600#B19200#B38400#BRKINT#CLOCAL#CREAD#CS5#CS6#CS7#CS8#CSIZE#CSTOPB#ECHO#ECHOE#ECHOK#ECHONL#HUPCL#ICANON#ICRNL#IEXTEN#IGNBRK#IGNCR#IGNPAR#IGNLCR#INPCK#ISIG#ISTRIP#IXOFF#IXON#NCCS#NOFLSH#OPOST#PARENB#PARMRK#PARODD#TCIFLUSH#TCIOFF#TCIOFLUSH#TCION#TCOFLUSH#TCSADRAIN#TCSAFLUSH#TCSANOW#TOSTOP#VEOF#VEOL#VERASE#VINTR#VKILL#VMIN#VQUIT#VSTART#VSTOP#VSUSP#VTIME
*7 (Struct tag)
^800 1036@1037#@termios
*4 (Function)
^801 1040$^$@0#cfgetispeed
^802 1042$^$@0#cfgetospeed
^803 1044$@0@@1@tp0$@0#cfsetispeed
^804 1046$@0@@1@tp0$@0#cfsetospeed
^805 1048$@0@g35@6@0@1@g35$@0#tcdrain
^806 1050$@0@g35@6@0@1@g35$@0#tcflow
^807 1052$@0@g35@6@0@1@g35$@0#tcflush
^808 1054$@0@g35@6@0@1@g35,tp1$@0#tcgetattr
^809 1056$@0@g35@6@0@1@g35$@0#tcsendbreak
^810 1058$@0@g35@6@0@1@g35$@0#tcsetattr
*3 (Variable)
^811 486|@1|6@0@0@0@1#environ
*1 (Constant)
^812 5$#CLK_TCK
*4 (Function)
^813 1060$@1@g811@6@0,s3@1@s3$@0#tzset
*1 (Constant)
^814 5$#F_OK#R_OK#STDERR_FILENO#STDIN_FILENO#STDOUT_FILENO#W_OK#X_OK#_PC_CHOWN_RESTRUCTED#_PC_MAX_CANON#_PC_MAX_INPUT#_PC_NAME_MAX#_PC_NO_TRUNC#_PC_PATH_MAX#_PC_PIPE_BUF#_PC_VDISABLE#_POSIX_CHOWN_RESTRICTED#_POSIX_JOB_CONTROL#_POSIX_NO_TRUNC#_POSIX_SAVED_IDS#_POSIX_VDISABLE#_POSIX_VERSION#_SC_ARG_MAX#_SC_CHILD_MAX#_SC_CLK_TCK#_SC_JOB_CONTROL#_SC_NGROUPS_MAX#_SC_OPEN_MAX#_SC_SAVED_IDS#_SC_STREAM_MAX#_SC_TZNAME_MAX#_SC_VERSION
*4 (Function)
^845 1062@6@0@6@0@0^$@0#_exit
^846 1064$@0@g35@6@0@1@g35$@0#access
^847 1066$@0@s3@1@s3$@0#alarm
^848 1068$@0@g35@6@0@1@g35$@0#chdir
^849 1070$@0@s3,g35@6@0@1@s3,g35$@0#chown
^850 1072$@0@s3,g35@6@0@1@s3,g35$@0#close
^851 1075$@0@s3@1@tp0,s3$@0#ctermid
^852 1078$@0@@1@tp0@3@0@0#cuserid
^853 1080$@0@g35@6@0,s3@1@g35,s3$@0#dup2
^854 1082$@0@g35@6@0,s3@1@g35,s3$@0#dup
^855 1084@6@0@5@0@0@0@g35@6@0@1@g35$@0#execl
^856 1086@6@0@5@0@0@0@g35@6@0@1@g35$@0#execle
^857 1088@6@0@5@0@0@0@g35@6@0@1@g35$@0#execlp
^858 1092@6@0@5@0@0@0@g35@6@0@1@g35$@0#execv
^859 1094@6@0@5@0@0@0@g35@6@0@1@g35$@0#execve
^860 1096@6@0@5@0@0@0@g35@6@0@1@g35$@0#execvp
^861 1098$@0@s3,g35@6@0@1@s3,g35$@0#fork
^862 1100$@0@g35@6@0@1@g35$@0#fpathconf
^863 1103@6@5@1@0@0@0@g35@6@0@1@g35,tp0$@0#getcwd
^864 1105$^$@0#getegid
^865 1107$^$@0#geteuid
^866 1109$^$@0#getgid
^867 1112$@0@g35@6@0@1@g35,ap1$@0#getgroups
^868 1115$^@19@3@0#getlogin
^869 1117$^$@0#getpgrp
^870 1119$^$@0#getpid
^871 1121$^$@0#getppid
^872 1123$^$@0#getuid
^873 1125$^$@0#isatty
^874 1127$@0@g35@6@0,s3@1@g35,s3$@0#link
^875 1129$@0@g35@6@0@1@g35$@0#lseek
^876 1131$@0@g35@6@0@1@g35$@0#pathconf
^877 1133$@0@g35@6@0@1@g35$@0#pause
^878 1135$@0@g35@6@0@1@g35$@0#pipe
^879 1137$@0@g35@6@0@1@g35,tp1$@0#read
^880 1139$@0@s3,g35@6@0@1@s3,g35$@0#rmdir
^881 1141$@0@g35@6@0,s3@1@g35,s3$@0#setgid
^882 1143$@0@g35@6@0,s3@1@g35,s3$@0#setpgid
^883 1145$@0@s3@1@s3$@0#setsid
^884 1147$@0@g35@6@0,s3@1@g35,s3$@0#setuid
^885 1149$@0@s3@1@s3$@0#sleep
^886 1151$@0@g35@6@0@1@g35$@0#sysconf
^887 1153$@0@g35@6@0@1@g35$@0#tcgetpgrp
^888 1155$@0@g35@6@0,s3@1@g35,s3$@0#tcsetpgrp
^889 1158@6@5@1@0@0@0@g35@6@0@1@g35@19@3@0#ttyname
^890 1160$@0@s3,g35@6@0@1@s3,g35$@0#unlink
^891 1162$@0@g35@6@0@1@g35$@0#write
*7 (Struct tag)
^892 1163@1164#@utimbuf
*4 (Function)
^893 1167$@0@s3,g35@6@0@1@s3,g35$@0#utime
*0 (Datatype)
^894 20@a@+@0@0@0@0@1168#regex_t
^895 13@-@-@0@0@0@0@1169#regoff_t
*7 (Struct tag)
^896 1170@1171#@!7
*0 (Datatype)
^897 1170@-@-@0@0@0@0@1172#regmatch_t
*4 (Function)
^898 1175$@0@@1@p0$@0#regcomp
^899 1178$@0@@1@p3$@0#regexec
^900 1180$@0@@1@p2$@0#regerror
^901 1182$$$@0#regfree
*1 (Constant)
^902 5$#REG_BASIC#REG_EXTENDED#REG_ICASE#REG_NOSUB#REG_NEWLINE#REG_NOSPEC#REG_PEND#REG_DUMP#REG_NOMATCH#REG_BADPAT#REG_ECOLLATE#REG_ECTYPE#REG_EESCAPE#REG_ESUBREG#REG_EBRACK#REG_EPAREN#REG_EBRACE#REG_BADBR#REG_ERANGE#REG_ESPACE#REG_BADRPT#REG_EMPTY#REG_ASSERT#REG_INVARG#REG_ATOI#REG_ITOA#REG_NOTBOL#REG_NOTEOL#REG_STARTEND#REG_TRACE#REG_LARGE#REG_BACKR
;; 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
getpwnam
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
2
3
0
C
0@1@4
l
1
3
2
2
Result
r
2
3
0
;; end precondition constraints
getpwuid
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
2
3
0
C
0@1@4
l
1
3
2
2
Result
r
2
3
0
;; end precondition constraints
getcwd
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:
C
0@1@1
l
1
3
2
2
Param 23 0
r
0
1
e1
2
2
Param 64 1
e2
2
3
-1
;; end precondition constraints
read
pre:
C
0@1@3
l
1
1
2
2
Param 20 1
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 1
r
2
2
Param 64 2
;; end precondition constraints
write
pre:
C
0@1@3
l
1
3
2
2
Param 20 1
r
2
2
Param 64 2
;; end precondition constraints
post:EMPTY
regexec
pre:
C
0@1@3
l
1
1
2
2
Param 1176 3
r
2
2
Param 64 2
;; end precondition constraints
post:EMPTY
regerror
pre:
C
0@1@3
l
1
1
2
2
Param 23 2
r
2
2
Param 64 3
;; end precondition constraints
post:EMPTY
;; Modules access
_Bool#1@
types#1@
standard#9@
posix#18@
;;End