|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /proc/21585/root/usr/share/splint/lib/ |
Upload File : |
;;; Splint Library posix.lcd
;;Splint 3.018000
;;lib:308
;;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 483 1052
1 t1|1&
1 t2|2&
1 t3|3&
1 t4|4 484 1053
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 s26|&
0 s28|&
0 s29|&
0 s30|&
0 s31|-1 552 -1
0 s32|&
0 a33|-1 570 -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 s50|-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 s105|&
0 s106|&
3 C0.17/18|!
3 C0.16/131|!
0 s120|&
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 a223|&
3 f0 (338|4@0@7&#,)!
3 f5 (338|4@0@7&#,)!
3 f0 (338|$#,5|$#,)!
3 f1 (338|$#,5|$#,)!
0 s232|&
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 a238|&
3 f0 (371|4@0@7&#,!.,)!
3 f1 (371|4@0@7&#,!.,)!
3 f0 (371|$#,)!
3 f1 (371|$#,)!
0 a241|-1 378 -1
0 a242|-1 458 -1
1 t376|376&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 ()!
3 f19 ()!
3 f378 ()!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
3 f0 (378|$#,)!
3 f5 (378|$#,)!
3 f0 (378|0@5@7&#,)!
3 f5 (378|0@5@7&#,)!
3 f0 (23|$#,23|$#,)!
3 f19 (23|$#,23|$#,)!
3 f378 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,378|$#,)!
3 f19 (23|$#,23|$#,378|$#,)!
3 f378 (23|$#,23|$#,378|$#,)!
3 f0 (378|$#,23|4@5@19@2@0#,)!
3 f1 (378|$#,23|4@5@19@2@0#,)!
3 f0 (378|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 f5 (378|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 C0.5/1|!
3 f0 (378|$#,23|$#,!.,)!
3 f5 (378|$#,23|$#,!.,)!
3 f403 (378|$#,23|$#,!.,)!
3 f0 (378|$#,23|$#,!.,)!
3 f5 (378|$#,23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f403 (23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
3 f403 (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 (378|$#,23|$#,371|$#,)!
3 f5 (378|$#,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 (378|$#,)!
3 f5 (378|$#,)!
3 f0 (23|@5|4@0@7&#,5|$#,378|$#,)!
3 f19 (23|@5|4@0@7&#,5|$#,378|$#,)!
3 f23 (23|@5|4@0@7&#,5|$#,378|$#,)!
3 C0.5/4|!
3 f0 (434|$#,378|$#,)!
3 f5 (434|$#,378|$#,)!
3 f0 (23|$#,378|$#,)!
3 f5 (23|$#,378|$#,)!
3 f0 (378|@7|$#,)!
3 f5 (378|@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 (434|$#,378|@7|$#,)!
3 f5 (434|$#,378|@7|$#,)!
3 f0 (434|$#,)!
3 f5 (434|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (434|$#,378|$#,)!
3 f5 (434|$#,378|$#,)!
3 f0 (20|4@0@7&#,64|$#,64|$#,378|$#,)!
3 f64 (20|4@0@7&#,64|$#,64|$#,378|$#,)!
3 f0 (20|$#,64|$#,64|$#,378|$#,)!
3 f64 (20|$#,64|$#,64|$#,378|$#,)!
1 t377|377&
3 f0 (378|$#,458|4@0@7&#,)!
3 f5 (378|$#,458|4@0@7&#,)!
3 f0 (378|$#,9|$#,5|$#,)!
3 f5 (378|$#,9|$#,5|$#,)!
3 f0 (378|$#,458|$#,)!
3 f5 (378|$#,458|$#,)!
3 f0 (378|$#,)!
3 f9 (378|$#,)!
3 f0 (378|$#,)!
3 f1 (378|$#,)!
3 f0 (378|$#,)!
3 f1 (378|$#,)!
3 f0 (378|$#,)!
3 f5 (378|$#,)!
3 f0 (378|$#,)!
3 f5 (378|$#,)!
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|$#,484|4@5@7&#,)!
3 f17 (23|$#,484|4@5@7&#,)!
3 f0 (23|$#,484|4@5@7&#,5|$#,)!
3 f9 (23|$#,484|4@5@7&#,5|$#,)!
3 f0 (23|$#,484|4@5@7&#,5|$#,)!
3 f10 (23|$#,484|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 f510 ()!
3 f1 ()^513
1 t512|512&
3 f0 (513|$#,)!
3 f5 (513|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f23 (23|$#,)!
3 f0 (23|0@5@7&#,)!
3 f5 (23|0@5@7&#,)!
3 ?!
3 f521 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^524
1 t523|523&
3 f0 (20|$#,20|$#,64|$#,64|$#,524|$#,)!
3 f19 (20|$#,20|$#,64|$#,64|$#,524|$#,)!
3 f20 (20|$#,20|$#,64|$#,64|$#,524|$#,)!
3 ?!
3 f528 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^531
1 t530|530&
3 f0 (20|$#,64|$#,64|$#,531|$#,)!
3 f1 (20|$#,64|$#,64|$#,531|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|^#quot,5|@1|^#rem,}!
0 s322|&
0 s323|&
3 f0 (5|$#,5|$#,)!
3 f538 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|^#quot,9|@1|^#rem,}!
0 s326|&
0 s327|&
3 f0 (9|$#,9|$#,)!
3 f545 (9|$#,9|$#,)!
3 f0 (5|$#,)!
3 f67 (5|$#,)!
3 f0 (378|$#,)!
3 f67 (378|$#,)!
1 t66|66 634 -1
3 f0 (552|@5|$#,5|$#,378|$#,)!
3 f19 (552|@5|$#,5|$#,378|$#,)!
3 f552 (552|@5|$#,5|$#,378|$#,)!
3 f0 (66|$#,378|$#,)!
3 f67 (66|$#,378|$#,)!
3 f0 (552|$#,378|$#,)!
3 f5 (552|$#,378|$#,)!
3 f0 (378|$#,5|$#,)!
3 f5 (378|$#,5|$#,)!
3 f0 (378|$#,552|$#,!.,)!
3 f5 (378|$#,552|$#,!.,)!
3 f0 (378|$#,552|$#,!.,)!
3 f5 (378|$#,552|$#,!.,)!
3 f0 (378|@7|$#,)!
3 f67 (378|@7|$#,)!
3 f0 ()!
3 f67 ()!
1 t68|68&
3 f0 (23|$#,64|$#,570|0@5@7&#,)!
3 f64 (23|$#,64|$#,570|0@5@7&#,)!
3 f0 (552|0@5@7&#,23|$#,64|$#,570|0@5@7&#,)!
3 f64 (552|0@5@7&#,23|$#,64|$#,570|0@5@7&#,)!
3 f0 (570|0@5@7&#,)!
3 f5 (570|0@5@7&#,)!
3 f0 (552|0@5@7&#,484|$#,64|$#,570|0@5@7&#,)!
3 f64 (552|0@5@7&#,484|$#,64|$#,570|0@5@7&#,)!
3 f0 (66|$#,378|@7|$#,)!
3 f67 (66|$#,378|@7|$#,)!
3 f0 (66|$#,)!
3 f67 (66|$#,)!
3 f0 (552|$#,64|$#,552|$#,!.,)!
3 f5 (552|$#,64|$#,552|$#,!.,)!
3 f0 (552|$#,552|$#,!.,)!
3 f5 (552|$#,552|$#,!.,)!
3 f0 (67|$#,378|$#,)!
3 f67 (67|$#,378|$#,)!
3 f0 (378|$#,552|$#,371|$#,)!
3 f5 (378|$#,552|$#,371|$#,)!
3 f0 (552|$#,64|$#,552|$#,371|$#,)!
3 f5 (552|$#,64|$#,552|$#,371|$#,)!
3 f0 (552|$#,371|$#,)!
3 f5 (552|$#,371|$#,)!
3 f0 (23|4@5@7&#,66|$#,570|0@5@7&#,)!
3 f64 (23|4@5@7&#,66|$#,570|0@5@7&#,)!
3 C0.1/552|!
3 f0 (552|@5|4@0@9&#,552|$#,)!
3 f1 (552|@5|4@0@9&#,552|$#,)!
3 f597 (552|@5|4@0@9&#,552|$#,)!
3 f0 (552|@5|$#,66|$#,)!
3 f19 (552|@5|$#,66|$#,)!
3 f552 (552|@5|$#,66|$#,)!
3 f0 (552|$#,552|$#,)!
3 f5 (552|$#,552|$#,)!
3 f0 (552|$#,552|$#,)!
3 f5 (552|$#,552|$#,)!
3 f0 (552|@5|4@0@9&#,552|$#,)!
3 f1 (552|@5|4@0@9&#,552|$#,)!
3 f597 (552|@5|4@0@9&#,552|$#,)!
3 f0 (552|$#,552|$#,)!
3 f64 (552|$#,552|$#,)!
0 s362|-1 614 -1
1 t613|613&
3 f0 (552|4@0@7&#,64|$#,552|$#,614|$#,)!
3 f64 (552|4@0@7&#,64|$#,552|$#,614|$#,)!
3 f0 (552|$#,)!
3 f64 (552|$#,)!
3 C0.1/552|!
3 f0 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f1 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f619 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f0 (552|$#,552|$#,64|$#,)!
3 f5 (552|$#,552|$#,64|$#,)!
3 f0 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f1 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f619 (552|@5|4@0@9&#,552|$#,64|$#,)!
3 f0 (552|@5|$#,552|$#,)!
3 f19 (552|@5|$#,552|$#,)!
3 f552 (552|@5|$#,552|$#,)!
3 f0 (552|@5|$#,66|$#,)!
3 f19 (552|@5|$#,66|$#,)!
3 f552 (552|@5|$#,66|$#,)!
1 t552|552&
3 f0 (23|0@5@7&#,634|$#,64|$#,570|0@5@7&#,)!
3 f64 (23|0@5@7&#,634|$#,64|$#,570|0@5@7&#,)!
3 f0 (552|$#,552|$#,)!
3 f64 (552|$#,552|$#,)!
3 f0 (552|$#,552|$#,)!
3 f19 (552|$#,552|$#,)!
3 f552 (552|$#,552|$#,)!
3 f0 (552|$#,634|0@5@7&#,)!
3 f17 (552|$#,634|0@5@7&#,)!
3 f0 (552|0@5@7&#,552|$#,634|$#,)!
3 f19 (552|0@5@7&#,552|$#,634|$#,)!
3 f552 (552|0@5@7&#,552|$#,634|$#,)!
3 f0 (552|$#,634|0@5@7&#,5|$#,)!
3 f9 (552|$#,634|0@5@7&#,5|$#,)!
3 f0 (552|$#,634|0@5@7&#,5|$#,)!
3 f10 (552|$#,634|0@5@7&#,5|$#,)!
3 f0 (552|0@5@7&#,552|$#,64|$#,)!
3 f64 (552|0@5@7&#,552|$#,64|$#,)!
3 f0 (67|$#,)!
3 f5 (67|$#,)!
3 f0 (552|$#,66|$#,64|$#,)!
3 f19 (552|$#,66|$#,64|$#,)!
3 f552 (552|$#,66|$#,64|$#,)!
3 f0 (552|$#,552|$#,64|$#,)!
3 f5 (552|$#,552|$#,64|$#,)!
3 f0 (552|@5|$#,552|$#,64|$#,)!
3 f19 (552|@5|$#,552|$#,64|$#,)!
3 f552 (552|@5|$#,552|$#,64|$#,)!
3 f0 (552|@5|$#,552|$#,64|$#,)!
3 f19 (552|@5|$#,552|$#,64|$#,)!
3 f552 (552|@5|$#,552|$#,64|$#,)!
3 f0 (552|@5|$#,66|$#,64|$#,)!
3 f19 (552|@5|$#,66|$#,64|$#,)!
3 f552 (552|@5|$#,66|$#,64|$#,)!
3 f0 (552|$#,!.,)!
3 f5 (552|$#,!.,)!
3 f0 (552|$#,!.,)!
3 f5 (552|$#,!.,)!
0 s386|&
0 s387|&
3 C0.2/5|!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f675 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f675 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f675 (67|$#,)!
3 f0 (67|$#,673|$#,)!
3 f2 (67|$#,673|$#,)!
3 f675 (67|$#,673|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f675 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 C0.2/5|!
3 f693 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f693 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f693 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f693 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f693 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f693 (67|$#,)!
3 C0.2/5|!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f710 (67|$#,)!
3 C0.67/5|!
3 f0 (67|$#,674|$#,)!
3 f67 (67|$#,674|$#,)!
3 f714 (67|$#,674|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f714 (67|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f714 (67|$#,)!
3 f0 (23|$#,)!
3 f674 (23|$#,)!
3 f0 (23|$#,)!
3 f673 (23|$#,)!
3 f0 (23|$#,64|$#,)!
3 f5 (23|$#,64|$#,)!
3 f0 (552|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f5 (552|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f0 (23|4@5@7&#,66|$#,)!
3 f5 (23|4@5@7&#,66|$#,)!
3 f0 (552|4@0@7&#,23|$#,64|$#,)!
3 f64 (552|4@0@7&#,23|$#,64|$#,)!
3 f0 (23|4@0@7&#,552|$#,64|$#,)!
3 f64 (23|4@0@7&#,552|$#,64|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f1 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f738 (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 f738 (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 f745 (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 f745 (23|@5|4@0@9&#,23|$#,64|$#,)!
3 f0 (23|@5|0@0@9&#,23|$#,)!
3 f1 (23|@5|0@0@9&#,23|$#,)!
3 f745 (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 f745 (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|$#,434|$#,)!
3 f19 (23|@5|$#,434|$#,)!
3 f23 (23|@5|$#,434|$#,)!
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|$#,434|$#,)!
3 f19 (23|@5|$#,434|$#,)!
3 f23 (23|@5|$#,434|$#,)!
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 f790 (20|@5|4@0@7&#,5|$#,64|$#,)!
3 f0 (5|$#,)!
3 f19 (5|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f64 (23|$#,)!
0 s433|&
0 s434|-1 808 -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 f799 ()!
3 f0 (800|$#,800|$#,)!
3 f17 (800|$#,800|$#,)!
3 f0 (614|$#,)!
3 f800 (614|$#,)!
1 t800|800&
3 f0 (808|4@5@7&#,)!
3 f800 (808|4@5@7&#,)!
3 f0 (614|$#,)!
3 f19 (614|$#,)!
3 f23 (614|$#,)!
3 f0 (808|$#,)!
3 f19 (808|$#,)!
3 f23 (808|$#,)!
3 f0 (808|$#,)!
3 f19 (808|$#,)!
3 f614 (808|$#,)!
3 f0 (808|$#,)!
3 f19 (808|$#,)!
3 f614 (808|$#,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,614|$#,)!
3 f64 (23|4@0@7&#,64|$#,23|$#,614|$#,)!
0 s444|&
0 s445|&
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 s510|&
0 s511|-1 -1 1073
0 s512|&
0 s513|&
0 s514|&
0 s515|&
0 s516|&
0 s517|&
0 a518|-1 864 -1
3 Sdirent{42|@1|^#d_name,}!
0 s519|-1 872 -1
1 t861|861&
3 f0 (864|$#,)!
3 f5 (864|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f864 (23|$#,)!
3 f0 (864|$#,)!
3 f19 (864|$#,)!
1 t863|863&
3 f872 (864|$#,)!
3 f0 (864|$#,)!
3 f1 (864|$#,)!
3 Sflock{7|@1|^#l_type,7|@1|^#l_whence,858|@1|^#l_start,858|@1|^#l_len,859|@1|^#l_pid,}!
0 s604|&
3 f0 (23|$#,856|$#,)!
3 f5 (23|$#,856|$#,)!
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,854|@1|^#gr_gid,484|@1|0@0@3&#gr_mem,}!
0 s608|-1 888 -1
3 f0 (854|$#,)!
3 f19 (854|$#,)!
1 t885|885&
3 f888 (854|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f888 (23|$#,)!
3 Spasswd{23|@1|0@0@3&#pw_name,860|@1|^#pw_uid,854|@1|^#pw_gid,23|@1|0@0@3&#pw_dir,23|@1|0@0@3&#pw_shell,}!
0 s637|-1 897 -1
3 f0 (23|$#,)!
3 f19 (23|$#,)!
1 t894|894&
3 f897 (23|$#,)!
3 f0 (860|$#,)!
3 f19 (860|$#,)!
3 f897 (860|$#,)!
0 a640|&
3 f0 (902|$#,5|$#,)!
3 f1 (902|$#,5|$#,)!
3 f0 (902|4@0@7&#,5|$#,)!
3 f5 (902|4@0@7&#,5|$#,)!
0 a643|-1 919 -1
3 ?!
3 f908 ()!
3 f1 ()^911
1 t910|910&
3 Ssigaction{!911$$$@0#sa_handler,907|@1|0@0@3&#sa_mask,5|@1|^#sa_flags,}!
0 s661|-1 916 -1
3 f0 (859|$#,5|$#,)!
3 f5 (859|$#,5|$#,)!
1 t913|913&
3 f0 (5|$#,916|$#,916|4@5@7&#,)!
3 f5 (5|$#,916|$#,916|4@5@7&#,)!
1 t907|907&
3 f0 (919|$#,5|$#,)!
3 f5 (919|$#,5|$#,)!
3 f0 (919|$#,5|$#,)!
3 f5 (919|$#,5|$#,)!
3 f0 (919|4@0@7&#,)!
3 f5 (919|4@0@7&#,)!
3 f0 (919|4@0@7&#,)!
3 f5 (919|4@0@7&#,)!
3 f0 (919|$#,5|$#,)!
3 f5 (919|$#,5|$#,)!
3 f0 (919|4@0@7&#,)!
3 f5 (919|4@0@7&#,)!
3 f0 (5|$#,919|0@5@7&#,919|4@5@7&#,)!
3 f5 (5|$#,919|0@5@7&#,919|4@5@7&#,)!
3 f0 (919|$#,)!
3 f5 (919|$#,)!
3 f0 (5|$#,23|$#,)!
3 f19 (5|$#,23|$#,)!
3 f378 (5|$#,23|$#,)!
3 f0 (378|$#,)!
3 f5 (378|$#,)!
3 Sstat{856|@1|^#st_mode,855|@1|^#st_ino,853|@1|^#st_dev,857|@1|^#st_nlink,860|@1|^#st_uid,854|@1|^#st_gid,858|@1|^#st_size,800|@1|^#st_atime,800|@1|^#st_mtime,800|@1|^#st_ctime,}!
0 s676|-1 955 -1
3 f0 (856|@7|$#,)!
3 f2 (856|@7|$#,)!
3 f0 (856|@7|$#,)!
3 f2 (856|@7|$#,)!
3 f0 (856|@7|$#,)!
3 f2 (856|@7|$#,)!
3 f0 (856|@7|$#,)!
3 f2 (856|@7|$#,)!
3 f0 (856|@7|$#,)!
3 f2 (856|@7|$#,)!
3 f0 (23|$#,856|$#,)!
3 f5 (23|$#,856|$#,)!
1 t942|942&
3 f0 (5|$#,955|4@0@7&#,)!
3 f5 (5|$#,955|4@0@7&#,)!
3 f0 (23|$#,856|$#,)!
3 f5 (23|$#,856|$#,)!
3 f0 (23|$#,856|$#,)!
3 f5 (23|$#,856|$#,)!
3 f0 (23|$#,955|4@0@7&#,)!
3 f5 (23|$#,955|4@0@7&#,)!
3 f0 (856|$#,)!
3 f5 (856|$#,)!
3 Stms{799|@1|^#tms_utime,799|@1|^#tms_stime,799|@1|^#tms_cutime,799|@1|^#tms_cstime,}!
0 s688|-1 968 -1
1 t967|967&
3 f0 (968|4@0@7&#,)!
3 f799 (968|4@0@7&#,)!
3 Sutsname{42|@1|^#sysname,42|@1|^#nodename,42|@1|^#release,42|@1|^#version,42|@1|^#machine,}!
0 s690|-1 973 -1
1 t972|972&
3 f0 (973|4@0@7&#,)!
3 f5 (973|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 f859 (24|4@5@7&#,)!
3 f0 (859|$#,24|4@5@7&#,5|$#,)!
3 f859 (859|$#,24|4@5@7&#,5|$#,)!
3 C0.4/8|!
3 C0.3/8|!
0 s703|&
3 C0.9/9|!
3 C0.10/9|!
0 s704|&
0 s705|&
3 Stermios{998|@1|^#c_iflag,998|@1|^#c_oflag,998|@1|^#c_cflag,998|@1|^#c_lflag,994|@1|^#c_cc,}!
0 s774|-1 1001 -1
1 t1000|1000&
3 f0 (1001|$#,)!
3 f997 (1001|$#,)!
3 f0 (1001|$#,)!
3 f997 (1001|$#,)!
3 f0 (1001|$#,)!
3 f5 (1001|$#,)!
3 f0 (1001|$#,)!
3 f5 (1001|$#,)!
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|$#,1001|4@0@7&#,)!
3 f5 (5|$#,1001|4@0@7&#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,5|$#,1001|$#,)!
3 f5 (5|$#,5|$#,1001|$#,)!
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|$#,860|$#,854|$#,)!
3 f5 (23|$#,860|$#,854|$#,)!
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|$#,1053|$#,)!
3 f5 (23|$#,1053|$#,)!
3 f0 (23|$#,1053|$#,484|$#,)!
3 f5 (23|$#,1053|$#,484|$#,)!
3 f0 (23|$#,1053|$#,)!
3 f5 (23|$#,1053|$#,)!
3 f0 ()!
3 f859 ()!
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 f854 ()!
3 f0 ()!
3 f860 ()!
3 f0 ()!
3 f854 ()!
2 y854|854&
3 f0 (5|$#,1073|4@0@7&#,)!
3 f5 (5|$#,1073|4@0@7&#,)!
3 f0 ()!
3 f19 ()!
3 f23 ()!
3 f0 ()!
3 f859 ()!
3 f0 ()!
3 f859 ()!
3 f0 ()!
3 f859 ()!
3 f0 ()!
3 f860 ()!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (5|$#,858|$#,5|$#,)!
3 f858 (5|$#,858|$#,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 (854|$#,)!
3 f5 (854|$#,)!
3 f0 (859|$#,859|$#,)!
3 f5 (859|$#,859|$#,)!
3 f0 ()!
3 f859 ()!
3 f0 (860|$#,)!
3 f5 (860|$#,)!
3 f0 (6|$#,)!
3 f6 (6|$#,)!
3 f0 (5|$#,)!
3 f9 (5|$#,)!
3 f0 (5|$#,)!
3 f859 (5|$#,)!
3 f0 (5|$#,859|$#,)!
3 f5 (5|$#,859|$#,)!
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{800|@1|^#actime,800|@1|^#modtime,}!
0 s866|-1 1128 -1
1 t1127|1127&
3 f0 (23|$#,1128|0@5@7&#,)!
3 f5 (23|$#,1128|0@5@7&#,)!
0 a868|-1 1136 -1
0 s869|&
3 S!4{1132|@1|^#rm_so,1132|@1|^#rm_eo,}!
0 s870|&
0 s871|-1 -1 1139
1 t1131|1131&
3 f0 (1136|4@0@7&#,23|$#,5|$#,)!
3 f5 (1136|4@0@7&#,23|$#,5|$#,)!
2 y1135|1135&
3 f0 (1136|$#,23|$#,64|$#,1139|4@0@7&#,5|$#,)!
3 f5 (1136|$#,23|$#,64|$#,1139|4@0@7&#,5|$#,)!
3 f0 (5|$#,1136|$#,23|4@0@7&#,64|$#,)!
3 f64 (5|$#,1136|$#,23|4@0@7&#,64|$#,)!
3 f0 (1136|0@0@2&#,)!
3 f1 (1136|0@0@2&#,)!
;;tistable
0
33
33,223
223
33,223,238
238
33,223,238,241
241
33,223,238,241,242
242
518
518,640
640
518,640,643
643
518,640,643,868
868
;;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$#S_SPLINT_S#__LCLINT__#__x86_64
*3 (Variable)
^20 378|@1|6@0@0@0@1#stdin#stdout
*1 (Constant)
^22 5$#EDOM#ERANGE#EILSEQ
*3 (Variable)
^25 5|@1|6@0@0@0@1#errno
*0 (Datatype)
^26 2@-@-@0@0@0@0@62#bool
*1 (Constant)
^27 5@i1@0@0#__bool_true_false_are_defined
*0 (Datatype)
^28 13@-@-@0@0@0@0@63#ptrdiff_t
^29 14@-@-@0@0@0@0@64#size_t
^30 15@-@-@0@0@0@0@65#ssize_t
^31 13@-@-@0@0@0@0@66#wchar_t
^32 13@-@-@0@0@0@0@67#wint_t
^33 0@a@=@0@0@0@0@68#mbstate_t
*1 (Constant)
^34 0@i0@0@6#NULL
^35 2$#NDEBUG
*4 (Function)
^36 73@6@0@8@0@0^$@0#assert
^37 78$^$@0#isalnum
^38 81$^$@0#isalpha
^39 84$^$@0#iscntrl
^40 87$^$@0#isdigit
^41 91$^$@0#isgraph
^42 95$^$@0#islower
^43 98$^$@0#isprint
^44 101$^$@0#ispunct
^45 104$^$@0#isspace
^46 108$^$@0#isupper
^47 112$^$@0#isxdigit
^48 116$^$@0#tolower
^49 119$^$@0#toupper
*7 (Struct tag)
^50 120@121#@lconv
*1 (Constant)
^51 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
*4 (Function)
^57 124@6@5@1@0@0@0@s1,g25@6@0@1@s1,g25@19@3@0#setlocale
^58 128$^@3@0@0#localeconv
*3 (Variable)
^59 5|@1|6@0@0@0@1#DBL_DIG
^60 17|@1|6@0@0@0@1#DBL_EPSILON
^61 5|@1|6@0@0@0@1#DBL_MANT_DIG
^62 17|@1|6@0@0@0@1#DBL_MAX
^63 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
^65 17|@1|6@0@0@0@1#DBL_MIN
^66 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
^69 16|@1|6@0@0@0@1#FLT_EPSILON
^70 5|@1|6@0@0@0@1#FLT_MANT_DIG
^71 16|@1|6@0@0@0@1#FLT_MAX
^72 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
^74 16|@1|6@0@0@0@1#FLT_MIN
^75 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
*1 (Constant)
^77 5$#FLT_RADIX
*3 (Variable)
^78 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
^80 18|@1|6@0@0@0@1#LDBL_EPSILON
^81 5|@1|6@0@0@0@1#LDBL_MANT_DIG
^82 18|@1|6@0@0@0@1#LDBL_MAX
^83 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
^85 18|@1|6@0@0@0@1#LDBL_MIN
^86 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
*1 (Constant)
^88 5$#CHAR_BIT
^89 4$#CHAR_MAX#CHAR_MIN
^91 5$#INT_MAX#INT_MIN
^93 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
^96 4$#SCHAR_MAX#SCHAR_MIN
^98 7$#SHRT_MAX#SHRT_MIN
^100 3$#UCHAR_MAX#UCHAR_MIN
^102 6$#UINT_MAX
^103 10$#ULONG_MAX
^104 8$#USHRT_MAX
*0 (Datatype)
^105 16@-@-@0@0@0@0@129#float_t
^106 17@-@-@0@0@0@0@130#double_t
*1 (Constant)
^107 17$#HUGE_VAL
^108 16$#HUGE_VALF
^109 18$#HUGE_VALL
^110 16$#INFINITY#NAN
^112 5$#FP_INFINITE#FP_NAN#FP_NORMAL#FP_SUBNORMAL#FP_ZERO#FP_ILOGB0#FP_ILOGBNAN#DECIMAL_DIG
*0 (Datatype)
^120 132@-@-@0@0@0@0@133#s_real_t
*4 (Function)
^121 135$^$@0#fpclassify
^122 137$^$@0#signbit
^123 139$^$@0#isfinite
^124 141$^$@0#isnormal
^125 143$^$@0#isnan
^126 145$^$@0#isinf
^127 147$@0@g25@6@0@1@g25$@0#acos
^128 149$@0@g25@6@0@1@g25$@0#asin
^129 151$^$@0#atan
^130 153$^$@0#atan2
^131 155$^$@0#cos
^132 157$^$@0#sin
^133 159$^$@0#tan
^134 161$@0@g25@6@0@1@g25$@0#cosh
^135 163$@0@g25@6@0@1@g25$@0#sinh
^136 165$^$@0#tanh
^137 167$@0@g25@6@0@1@g25$@0#acosh
^138 169$@0@g25@6@0@1@g25$@0#asinh
^139 171$@0@g25@6@0@1@g25$@0#atanh
^140 173$@0@g25@6@0@1@g25$@0#exp
^141 175$@0@@1@tp1$@0#frexp
^142 177$@0@g25@6@0@1@g25$@0#ldexp
^143 179$@0@g25@6@0@1@g25$@0#log
^144 181$@0@g25@6@0@1@g25$@0#log10
^145 183$@0@@1@tp1$@0#modf
^146 185$@0@g25@6@0@1@g25$@0#exp2
^147 187$@0@g25@6@0@1@g25$@0#expm1
^148 189$@0@g25@6@0@1@g25$@0#log1p
^149 191$@0@g25@6@0@1@g25$@0#log2
^150 193$@0@g25@6@0@1@g25$@0#logb
^151 195$@0@g25@6@0@1@g25$@0#scalbn
^152 197$@0@g25@6@0@1@g25$@0#scalbln
^153 199$@0@g25@6@0@1@g25$@0#scalblnl
^154 201$@0@g25@6@0@1@g25$@0#ilogb
^155 203$@0@g25@6@0@1@g25$@0#ilogbf
^156 205$@0@g25@6@0@1@g25$@0#ilogbl
^157 207$^$@0#fabs
^158 209$^$@0#fabsf
^159 211$^$@0#fabsl
^160 213$@0@g25@6@0@1@g25$@0#pow
^161 215$@0@g25@6@0@1@g25$@0#powf
^162 217$@0@g25@6@0@1@g25$@0#powl
^163 219$@0@g25@6@0@1@g25$@0#sqrt
^164 221$@0@g25@6@0@1@g25$@0#sqrtf
^165 223$@0@g25@6@0@1@g25$@0#sqrtl
^166 225$^$@0#cbrt
^167 227$^$@0#cbrtf
^168 229$^$@0#cbrtl
^169 231$@0@g25@6@0@1@g25$@0#hypot
^170 233$@0@g25@6@0@1@g25$@0#hypotf
^171 235$@0@g25@6@0@1@g25$@0#hypotl
^172 237$^$@0#erf
^173 239$^$@0#erfc
^174 241$^$@0#erff
^175 243$^$@0#erfl
^176 245$^$@0#erfcf
^177 247$^$@0#erfcl
^178 249$@0@g25@6@0@1@g25$@0#gamma
^179 251$@0@g25@6@0@1@g25$@0#gammaf
^180 253$@0@g25@6@0@1@g25$@0#gammal
^181 255$@0@g25@6@0@1@g25$@0#lgamma
^182 257$@0@g25@6@0@1@g25$@0#lgammaf
^183 259$@0@g25@6@0@1@g25$@0#lgammal
^184 261$^$@0#ceil
^185 263$^$@0#ceilf
^186 265$^$@0#ceill
^187 267$^$@0#floor
^188 269$^$@0#floorf
^189 271$^$@0#floorl
^190 273$^$@0#nearbyint
^191 275$^$@0#nearbyintf
^192 277$^$@0#nearbyintl
^193 279$^$@0#rint
^194 281$^$@0#rintf
^195 283$^$@0#rintl
^196 285$@0@g25@6@0@1@g25$@0#lrint
^197 287$@0@g25@6@0@1@g25$@0#lrintf
^198 289$@0@g25@6@0@1@g25$@0#lrintl
^199 291$@0@g25@6@0@1@g25$@0#llrint
^200 293$@0@g25@6@0@1@g25$@0#llrintf
^201 295$@0@g25@6@0@1@g25$@0#llrintl
^202 297$^$@0#round
^203 299$@0@g25@6@0@1@g25$@0#lround
^204 301$@0@g25@6@0@1@g25$@0#llround
^205 303$^$@0#trunc
^206 305$^$@0#fmod
^207 307$^$@0#remainder
^208 309$@0@@1@tp2$@0#remquo
^209 311$^$@0#copysign
^210 313$^$@0#nan
^211 315$^$@0#nextafter
^212 317$^$@0#nextafterx
^213 319$@0@g25@6@0@1@g25$@0#fdim
^214 321$^$@0#fmax
^215 323$^$@0#fmin
^216 325$^$@0#fma
^217 327$^$@0#isgreater
^218 329$^$@0#isgreaterequal
^219 331$^$@0#isless
^220 333$^$@0#islessequal
^221 335$^$@0#islessgreater
^222 337$^$@0#isunordered
*0 (Datatype)
^223 20@a@+@0@0@0@0@338#jmp_buf
*4 (Function)
^224 340$@0@@1@p0$@0#setjmp
^225 342@6@0@5@0@0^$@0#longjmp
*1 (Constant)
^226 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
*0 (Datatype)
^232 13@-@-@0@0@0@0@343#sig_atomic_t
*1 (Constant)
^233 347$#SIG_DFL
^234 351$#SIG_ERR
^235 355$#SIG_IGN
*4 (Function)
^236 368@6@5@1@0@0@0@s1,g25@6@0@1@s1,g25$@0#signal
^237 370@6@0@5@0@0$$@0#raise
*0 (Datatype)
^238 20@a@+@0@0@0@0@371#va_list
*4 (Function)
^239 373$@0@@1@p0$@0#va_start
^240 375$@0@@1@p0$@0#va_end
*0 (Datatype)
^241 20@a@+@0@0@0@0@376#FILE
^242 20@a@+@0@0@0@0@377#fpos_t
*1 (Constant)
^243 64$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
^247 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
*3 (Variable)
^255 378|@1|6@0@0@0@1#stderr
*4 (Function)
^256 380$@0@s3,g25@6@0@1@s3,g25$@0#remove
^257 382$@0@s3,g25@6@0@1@s3,g25$@0#rename
^258 385@6@5@1@0@0@0@s3,g25@6@0@1@s3,g25@18@0@0#tmpfile
^259 388$@0@s1@1@tp0,s1@19@3@0#tmpnam
^260 390$@0@g25@6@0,s3@1@tp0,g25,s3$@0#fclose
^261 392$@0@g25@6@0,s3@1@tp0,g25,s3$@0#fflush
^262 395@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
^263 398@6@5@1@0@0@0@s3,g25@6@0@1@tp2,s3,g25@18@0@0#freopen
^264 400$@0@s3@1@s3,tp0,tp1$@0#setbuf
^265 402$@0@s3@1@s3,tp0,tp1$@0#setvbuf
^266 406@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
^267 408@6@0@1@2@0@0@s3,g25@6@0@1@s3,tp0,g25$@0#fscanf
^268 411@6@0@1@1@0@1@g21@6@0,s3@1@s3,tg21$@0#printf
^269 413@6@0@1@2@0@1@g20@6@0,s3,g25@6@0@1@s3,tg20,g25$@0#scanf
^270 416@6@0@1@1@0@0@@1@tp0$@0@W:bufferoverflowhigh#Buffer overflow possible with sprintf. Recommend using snprintf instead##sprintf
^271 418@6@0@1@1@0@0@@1@p0$@0#snprintf
^272 420@6@0@1@2@0@0@g25@6@0@1@g25$@0#sscanf
^273 422$@1@g21@6@0,s3@1@s3,tg21$@0#vprintf
^274 424$@0@s3,g25@6@0@1@s3,tp0,p2,g25$@0#vfprintf
^275 426$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
^276 428$@0@@1@p0$@0#vsnprintf
^277 430$@0@s3,g25@6@0@1@s3,tp0,g25$@0#fgetc
^278 433@6@5@1@0@0@0@s3,g25@6@0@1@s3,tp0,tp2,g25$@0#fgets
^279 436$@0@s3,g25@6@0@1@s3,tp1,g25$@0#fputc
^280 438$@0@s3@1@s3,tp1$@0#fputs
^281 440$@0@s3,g25@6@0@1@s3,tp0,g25$@0#getc
^282 442$@1@g20@6@0,s3,g25@6@0@1@s3,tg20,g25$@0#getchar
^283 445@6@5@1@0@0@1@g20@6@0,s3,g25@6@0@1@s3,tp0,tg20,g25@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
^284 447$@0@s3,g25@6@0@1@s3,tp1,g25$@0#putc
^285 449$@1@g21@6@0,s3,g25@6@0@1@s3,tg21,g25$@0#putchar
^286 451$@1@g21@6@0,s3,g25@6@0@1@s3,tg21,g25$@0#puts
^287 453$@0@s3@1@s3,tp1$@0#ungetc
^288 455$@0@s3,g25@6@0@1@s3,tp0,tp3,g25$@0#fread
^289 457$@0@s3,g25@6@0@1@s3,tp3,g25$@0#fwrite
^290 460$@0@g25@6@0@1@tp1,g25$@0#fgetpos
^291 462$@0@s3,g25@6@0@1@s3,tp0,g25$@0#fseek
^292 464$@0@s3,g25@6@0@1@s3,tp0,g25$@0#fsetpos
^293 466$@0@g25@6@0@1@g25$@0#ftell
^294 468$@0@@1@tp0$@0#rewind
^295 470$@0@@1@tp0$@0#clearerr
^296 472$@0@g25@6@0@1@g25$@0#feof
^297 474$@0@g25@6@0@1@g25$@0#ferror
^298 476$@1@g25@6@0,g255@6@0,s3@1@s3,tg255$@0#perror
^299 478$^$@0#atof
^300 480$^$@0#atoi
^301 482$^$@0#atol
^302 486$@0@g25@6@0@1@tp1,g25$@0#strtod
^303 488$@0@g25@6@0@1@tp1,g25$@0#strtol
^304 490$@0@g25@6@0@1@tp1,g25$@0#strtoul
*1 (Constant)
^305 5$#RAND_MAX
*4 (Function)
^306 492$@0@s1@1@s1$@0#rand
^307 494$@0@s1@1@s1$@0#srand
^308 497@6@5@1@0@0^@2@0@0#calloc
^309 500@4@5@1@0@0^@2@0@0#malloc
^310 503@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
^311 505$@0@@1@p0$@0#free
*1 (Constant)
^312 5$#EXIT_FAILURE#EXIT_SUCCESS
*4 (Function)
^314 507@6@0@6@0@0^$@0#abort
^315 509@6@0@6@0@0^$@0#exit
^316 515$@0@s1@1@s1$@0#atexit
^317 518@6@5@1@0@0^@19@3@0#getenv
^318 520$@0@s3@1@s3$@0#system
^319 527@6@5@1@0@0^@18@0@0#bsearch
^320 533$@0@g25@6@0@1@tp0,g25$@0#qsort
^321 535$^$@0#abs
*7 (Struct tag)
^322 536@537#@!2
*0 (Datatype)
^323 536@c@-@0@0@0@0@538#div_t
*4 (Function)
^324 540$^$@0#div
^325 542$^$@0#labs
*7 (Struct tag)
^326 543@544#@!3
*0 (Datatype)
^327 543@c@-@0@0@0@0@545#ldiv_t
*4 (Function)
^328 547$^$@0#ldiv
*1 (Constant)
^329 64$#MB_CUR_MAX
^330 5$#WCHAR_MAX#WCHAR_MIN
^332 67$#WEOF
*4 (Function)
^333 549$^$@0#btowc
^334 551$@0@s3@1@s3,tp0$@0#fgetwc
^335 555@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
^336 557$@0@s3@1@s3,tp1$@0#fputwc
^337 559$@0@s3@1@s3,tp1$@0#fputws
^338 561$^$@0#fwide
^339 563@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
^340 565@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
^341 567$@0@s3@1@s3,tp0$@0#getwc
^342 569$@0@s3,g20@6@0@1@s3,tg20$@0#getwchar
^343 572$^$@0#mbrlen
^344 574$@0@@1@tp0$@0#mbrtowc
^345 576$^$@0#mbsinit
^346 578$@0@@1@tp0$@0#mbsrtowcs
^347 580$@0@s3@1@s3,tp1$@0#putwc
^348 582$@0@s3,g21@6@0@1@s3,tg21$@0#putwchar
^349 584@6@0@1@1@0@0@@1@tp0$@0#swprintf
^350 586@6@0@1@2@0@0@g20@6@0@1@tg20$@0#swscanf
^351 588$@0@s3@1@s3,tp1$@0#ungetwc
^352 590$@0@s3@1@s3,tp0$@0#vfwprintf
^353 592$@0@@1@tp0$@0#vswprintf
^354 594$@0@s3,g21@6@0@1@s3,tg21$@0#vwprintf
^355 596$@0@@1@tp0$@0#wcrtomb
^356 600$@0@@1@tp0$@0#wcscat
^357 603@6@5@1@0@0^@19@2@0#wcschr
^358 605$^$@0#wcscmp
^359 607$^$@0#wcscoll
^360 610$@0@@1@tp0$@0#wcscpy
^361 612$^$@0#wcscspn
*7 (Struct tag)
^362 801@613#@tm
*4 (Function)
^363 616$@0@@1@tp0$@0#wcsftime
^364 618$^$@0#wcslen
^365 622$@0@@1@tp0$@0#wcsncat
^366 624$^$@0#wcsncmp
^367 627$@0@@1@tp0$@0#wcsncpy
^368 630@6@5@1@0@0^$@0#wcspbrk
^369 633@6@5@1@0@0^$@0#wcsrchr
^370 636$@0@@1@tp1$@0#wcsrtombs
^371 638$^$@0#wcsspn
^372 641@6@5@1@0@0^@3@0@0#wcsstr
^373 643$@0@@1@tp1$@0#wcstod
^374 646@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
^375 648$@0@@1@tp1$@0#wcstol
^376 650$@0@@1@tp1$@0#wcstoul
^377 652$@0@@1@tp0$@0#wcsxfrm
^378 654$^$@0#wctob
^379 657@6@5@1@0@0^@3@0@0#wmemchr
^380 659$^$@0#wmemcmp
^381 662$@0@@1@tp0$@0#wmemcpy
^382 665$@0@@1@tp0$@0#wmemmove
^383 668$@0@@1@tp0$@0#wmemset
^384 670@6@0@1@1@0@1@g21@6@0,g25@6@0@1@g25,tg21$@0#wprintf
^385 672@6@0@1@2@0@1@g20@6@0,g25@6@0@1@g25,tg20$@0#wscanf
*0 (Datatype)
^386 13@-@-@0@0@0@0@673#wctype_t
^387 13@-@-@0@0@0@0@674#wctrans_t
*4 (Function)
^388 678$^$@0#iswalnum
^389 681$^$@0#iswalpha
^390 684$^$@0#iswcntrl
^391 687$^$@0#iswctype
^392 690$^$@0#iswdigit
^393 694$^$@0#iswgraph
^394 697$^$@0#iswlower
^395 700$^$@0#iswprint
^396 703$^$@0#iswpunct
^397 706$^$@0#iswspace
^398 709$^$@0#iswupper
^399 713$^$@0#iswxdigit
^400 717$^$@0#towctrans
^401 720$^$@0#towlower
^402 723$^$@0#towupper
^403 725$^$@0#wctrans
^404 727$^$@0#wctype
^405 729$^$@0#mblen
^406 731$@0@@1@tp0$@0#mbtowc
^407 733$@0@@1@tp0$@0#wctomb
^408 735$@0@@1@tp0$@0#mbstowcs
^409 737$@0@@1@tp0$@0#wcstombs
^410 741$@0@@1@tp0$@0#memcpy
^411 744$@0@@1@tp0$@0#memmove
^412 748$@0@@1@tp0$@0#strcpy
^413 751$@0@@1@tp0$@0#strncpy
^414 754$@0@@1@tp0$@0#strcat
^415 757$@0@@1@tp0$@0#strncat
^416 759$^$@0#memcmp
^417 761$^$@0#strcmp
^418 763$^$@0#strcoll
^419 765$^$@0#strncmp
^420 767$@0@@1@tp0$@0#strxfrm
^421 770@6@5@1@0@0^@3@0@0#memchr
^422 773@6@5@1@0@0^@19@2@0#strchr
^423 775$^$@0#strcspn
^424 778@6@5@1@0@0^@19@2@0#strpbrk
^425 781@6@5@1@0@0^@19@2@0#strrchr
^426 783$^$@0#strspn
^427 786@6@5@1@0@0^@19@2@0#strstr
^428 789@6@5@1@0@0@0@s1,g25@6@0@1@tp0,s1,g25@19@2@0#strtok
^429 793$@0@@1@tp0$@0#memset
^430 796$^@19@3@0#strerror
^431 798$^$@0#strlen
*1 (Constant)
^432 5$#CLOCKS_PER_SEC
*0 (Datatype)
^433 13@-@-@0@0@0@0@799#clock_t
^434 13@-@-@0@0@0@0@800#time_t
*4 (Function)
^435 803$@0@s1@1@s1$@0#clock
^436 805$^$@0#difftime
^437 807$^$@0#mktime
^438 810$@0@@1@tp0$@0#time
^439 813$@0@g25@6@0@1@g25@19@3@0#asctime
^440 816$^@19@3@0#ctime
^441 819@6@5@1@0@0^@19@3@0#gmtime
^442 822@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#localtime
^443 824$@0@@1@tp0$@0#strftime
*0 (Datatype)
^444 13@-@-@0@0@0@0@825#int8_t
^445 13@-@-@0@0@0@0@826#int16_t
^446 13@-@-@0@0@0@0@827#int32_t
^447 13@-@-@0@0@0@0@828#int64_t
^448 14@-@-@0@0@0@0@829#uint8_t
^449 14@-@-@0@0@0@0@830#uint16_t
^450 14@-@-@0@0@0@0@831#uint32_t
^451 14@-@-@0@0@0@0@832#uint64_t
^452 13@-@-@0@0@0@0@833#int_least8_t
^453 13@-@-@0@0@0@0@834#int_least16_t
^454 13@-@-@0@0@0@0@835#int_least32_t
^455 13@-@-@0@0@0@0@836#int_least64_t
^456 14@-@-@0@0@0@0@837#uint_least8_t
^457 14@-@-@0@0@0@0@838#uint_least16_t
^458 14@-@-@0@0@0@0@839#uint_least32_t
^459 14@-@-@0@0@0@0@840#uint_least64_t
^460 13@-@-@0@0@0@0@841#int_fast8_t
^461 13@-@-@0@0@0@0@842#int_fast16_t
^462 13@-@-@0@0@0@0@843#int_fast32_t
^463 13@-@-@0@0@0@0@844#int_fast64_t
^464 14@-@-@0@0@0@0@845#uint_fast8_t
^465 14@-@-@0@0@0@0@846#uint_fast16_t
^466 14@-@-@0@0@0@0@847#uint_fast32_t
^467 14@-@-@0@0@0@0@848#uint_fast64_t
^468 24@-@+@0@0@0@0@849#intptr_t
^469 25@-@+@0@0@0@0@850#uintptr_t
^470 15@-@-@0@0@0@0@851#intmax_t
^471 14@-@-@0@0@0@0@852#uintmax_t
*1 (Constant)
^472 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
^508 64$#INTPTR_MIN#INTPTR_MAX
*0 (Datatype)
^510 13@-@-@0@0@0@0@853#dev_t
^511 13@-@-@0@0@0@0@854#gid_t
^512 14@-@-@0@0@0@0@855#ino_t
^513 13@-@-@0@0@0@0@856#mode_t
^514 13@-@-@0@0@0@0@857#nlink_t
^515 13@-@-@0@0@0@0@858#off_t
^516 13@-@-@0@0@0@0@859#pid_t
^517 13@-@-@0@0@0@0@860#uid_t
^518 20@a@+@0@0@0@0@861#DIR
*7 (Struct tag)
^519 862@863#@dirent
*4 (Function)
^520 866$@0@g25@6@0@1@g25$@0#closedir
^521 869@6@5@1@0@0@0@g25@6@0,s3@1@g25,s3@18@0@0#opendir
^522 873@6@5@1@0@0@0@g25@6@0@1@g25@18@0@0#readdir
^523 875$^$@0#rewinddir
*1 (Constant)
^524 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
^581 856$#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)
^604 876@877#@flock
*4 (Function)
^605 879$@0@g25@6@0@1@g25$@0#creat
^606 881$@0@g25@6@0@1@g25$@0#fcntl
^607 883$@0@g25@6@0@1@g25$@0#open
*7 (Struct tag)
^608 884@885#@group
*4 (Function)
^609 889@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#getgrgid
^610 892@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#getgrnam
*1 (Constant)
^611 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
^615 64$#MAX_INPUT#NAME_MAX
^617 9$#NGROUPS_MAX#OPEN_MAX
^619 64$#PATH_MAX#PIPE_BUF
^621 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)
^637 893@894#@passwd
*4 (Function)
^638 898@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#getpwnam
^639 901@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#getpwuid
*0 (Datatype)
^640 20@a@+@0@0@0@0@902#sigjmp_buf
*4 (Function)
^641 904@6@0@5@0@0^$@0#siglongjmp
^642 906$@0@@1@p0$@0#sigsetjmp
*0 (Datatype)
^643 0@a@=@0@0@0@0@907#sigset_t
*1 (Constant)
^644 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)
^661 912@913#@sigaction
*4 (Function)
^662 915@6@0@5@0@0@0@g25@6@0@1@g25$@0#kill
^663 918$@0@g25@6@0,s3@1@tp2,g25,s3$@0#sigaction
^664 921$@0@g25@6@0@1@tp0,g25$@0#sigaddset
^665 923$@0@g25@6@0@1@tp0,g25$@0#sigdelset
^666 925$@0@g25@6@0@1@tp0,g25$@0#sigemptyset
^667 927$@0@g25@6@0@1@tp0,g25$@0#sigfillset
^668 929$@0@g25@6@0@1@g25$@0#sigismember
^669 931$@0@g25@6@0@1@tp0,g25$@0#sigpending
^670 933$@0@g25@6@0,s3@1@tp2,g25,s3$@0#sigprocmask
^671 935$@0@g25@6@0,s3@1@g25,s3$@0#sigsuspend
*1 (Constant)
^672 5$#L_ctermid#L_cuserid
*4 (Function)
^674 938@6@5@1@0@0@0@g25@6@0,s3@1@g25,s3@18@0@0#fdopen
^675 940$@0@g25@6@0@1@g25$@0#fileno
*7 (Struct tag)
^676 941@942#@stat
*4 (Function)
^677 944$^$@0#S_ISBLK
^678 946$^$@0#S_ISCHR
^679 948$^$@0#S_ISDIR
^680 950$^$@0#S_ISFIFO
^681 952$^$@0#S_ISREG
^682 954$@0@s3,g25@6@0@1@s3,g25$@0#chmod
^683 957$@0@g25@6@0@1@g25,tp1$@0#fstat
^684 959$@0@s3,g25@6@0@1@s3,g25$@0#mkdir
^685 961$@0@s3,g25@6@0@1@s3,g25$@0#mkfifo
^686 963$@0@g25@6@0@1@g25,tp1$@0#stat
^687 965$@0@s3@1@s3$@0#umask
*7 (Struct tag)
^688 966@967#@tms
*4 (Function)
^689 970$@0@@1@tp0$@0#times
*7 (Struct tag)
^690 971@972#@utsname
*4 (Function)
^691 975$@0@g25@6@0@1@tp0,g25$@0#uname
^692 977$^$@0#WEXITSTATUS
^693 979$^$@0#WIFEXITED
^694 981$^$@0#WIFSIGNALED
^695 983$^$@0#WIFSTOPPED
^696 985$^$@0#WSTOPSIG
^697 987$^$@0#WTERMSIG
*1 (Constant)
^698 5$#WUNTRACED#WCONTINUED#WNOHANG
*4 (Function)
^701 989$@0@g25@6@0,s3@1@tp0,g25,s3$@0#wait
^702 991$@0@g25@6@0,s3@1@tp1,g25,s3$@0#waitpid
*0 (Datatype)
^703 993@-@-@0@0@0@0@994#cc_t
^704 996@-@-@0@0@0@0@997#speed_t
^705 996@-@-@0@0@0@0@998#tcflag_t
*1 (Constant)
^706 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)
^774 999@1000#@termios
*4 (Function)
^775 1003$^$@0#cfgetispeed
^776 1005$^$@0#cfgetospeed
^777 1007$@0@@1@tp0$@0#cfsetispeed
^778 1009$@0@@1@tp0$@0#cfsetospeed
^779 1011$@0@g25@6@0@1@g25$@0#tcdrain
^780 1013$@0@g25@6@0@1@g25$@0#tcflow
^781 1015$@0@g25@6@0@1@g25$@0#tcflush
^782 1017$@0@g25@6@0@1@g25,tp1$@0#tcgetattr
^783 1019$@0@g25@6@0@1@g25$@0#tcsendbreak
^784 1021$@0@g25@6@0@1@g25$@0#tcsetattr
*3 (Variable)
^785 484|@1|6@0@0@0@1#environ
*1 (Constant)
^786 5$#CLK_TCK
*4 (Function)
^787 1023$@1@g785@6@0,s3@1@s3$@0#tzset
*1 (Constant)
^788 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)
^819 1025@6@0@6@0@0^$@0#_exit
^820 1027$@0@g25@6@0@1@g25$@0#access
^821 1029$@0@s3@1@s3$@0#alarm
^822 1031$@0@g25@6@0@1@g25$@0#chdir
^823 1033$@0@s3,g25@6@0@1@s3,g25$@0#chown
^824 1035$@0@s3,g25@6@0@1@s3,g25$@0#close
^825 1038$@0@s3@1@tp0,s3$@0#ctermid
^826 1041$@0@@1@tp0@3@0@0#cuserid
^827 1043$@0@g25@6@0,s3@1@g25,s3$@0#dup2
^828 1045$@0@g25@6@0,s3@1@g25,s3$@0#dup
^829 1047@6@0@5@0@0@0@g25@6@0@1@g25$@0#execl
^830 1049@6@0@5@0@0@0@g25@6@0@1@g25$@0#execle
^831 1051@6@0@5@0@0@0@g25@6@0@1@g25$@0#execlp
^832 1055@6@0@5@0@0@0@g25@6@0@1@g25$@0#execv
^833 1057@6@0@5@0@0@0@g25@6@0@1@g25$@0#execve
^834 1059@6@0@5@0@0@0@g25@6@0@1@g25$@0#execvp
^835 1061$@0@s3,g25@6@0@1@s3,g25$@0#fork
^836 1063$@0@g25@6@0@1@g25$@0#fpathconf
^837 1066@6@5@1@0@0@0@g25@6@0@1@g25,tp0$@0#getcwd
^838 1068$^$@0#getegid
^839 1070$^$@0#geteuid
^840 1072$^$@0#getgid
^841 1075$@0@g25@6@0@1@g25,ap1$@0#getgroups
^842 1078$^@19@3@0#getlogin
^843 1080$^$@0#getpgrp
^844 1082$^$@0#getpid
^845 1084$^$@0#getppid
^846 1086$^$@0#getuid
^847 1088$^$@0#isatty
^848 1090$@0@g25@6@0,s3@1@g25,s3$@0#link
^849 1092$@0@g25@6@0@1@g25$@0#lseek
^850 1094$@0@g25@6@0@1@g25$@0#pathconf
^851 1096$@0@g25@6@0@1@g25$@0#pause
^852 1098$@0@g25@6@0@1@g25$@0#pipe
^853 1100$@0@g25@6@0@1@g25,tp1$@0#read
^854 1102$@0@s3,g25@6@0@1@s3,g25$@0#rmdir
^855 1104$@0@g25@6@0,s3@1@g25,s3$@0#setgid
^856 1106$@0@g25@6@0,s3@1@g25,s3$@0#setpgid
^857 1108$@0@s3@1@s3$@0#setsid
^858 1110$@0@g25@6@0,s3@1@g25,s3$@0#setuid
^859 1112$@0@s3@1@s3$@0#sleep
^860 1114$@0@g25@6@0@1@g25$@0#sysconf
^861 1116$@0@g25@6@0@1@g25$@0#tcgetpgrp
^862 1118$@0@g25@6@0,s3@1@g25,s3$@0#tcsetpgrp
^863 1121@6@5@1@0@0@0@g25@6@0@1@g25@19@3@0#ttyname
^864 1123$@0@s3,g25@6@0@1@s3,g25$@0#unlink
^865 1125$@0@g25@6@0@1@g25$@0#write
*7 (Struct tag)
^866 1126@1127#@utimbuf
*4 (Function)
^867 1130$@0@s3,g25@6@0@1@s3,g25$@0#utime
*0 (Datatype)
^868 20@a@+@0@0@0@0@1131#regex_t
^869 13@-@-@0@0@0@0@1132#regoff_t
*7 (Struct tag)
^870 1133@1134#@!4
*0 (Datatype)
^871 1133@-@-@0@0@0@0@1135#regmatch_t
*4 (Function)
^872 1138$@0@@1@p0$@0#regcomp
^873 1141$@0@@1@p3$@0#regexec
^874 1143$@0@@1@p2$@0#regerror
^875 1145$$$@0#regfree
*1 (Constant)
^876 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 458 1
r
2
3
0
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Param 458 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 1139 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#16@
;;End