;;; Splint Library  posixstrict.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 460 1051
1 t1|1&
1 t2|2&
1 t3|3&
1 t4|4 461 1052
1 t5|5&
1 t6|6&
1 t7|7&
1 t8|8&
1 t9|9&
1 t10|10&
1 t11|11&
1 t12|12&
1 t13|13&
1 t14|14&
1 t15|15&
1 t16|16&
1 t17|17&
1 t18|18&
2 y0|0&
2 y1|1&
2 y2|2&
2 y3|3&
2 y4|4&
2 y5|5&
2 y6|6&
2 y7|7&
2 y8|8&
2 y9|9&
2 y10|10&
2 y11|11&
2 y12|12&
2 y13|13&
2 y14|14&
2 y15|15&
2 y16|16&
2 y17|17&
2 y18|18&
-2 ?!
0 a0|&
0 s11|&
0 s12|&
0 s13|&
0 s27|&
0 s29|&
0 s30|&
0 s31|&
0 s32|-1 529 -1
0 s33|&
0 a34|-1 547 -1
3 C0.5/20|!
3 C0.69/2|!
3 f0 (2|@7|$#,)!
3 f1 (2|@7|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f2 (5|$#,)!
3 f0 (5|$#,)!
3 f4 (5|$#,)!
3 f0 (5|$#,)!
3 f4 (5|$#,)!
3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|^#int_frac_digits,4|@1|^#frac_digits,4|@1|^#p_cs_precedes,4|@1|^#p_sep_by_space,4|@1|^#n_cs_precedes,4|@1|^#n_sep_by_space,4|@1|^#p_sign_posn,4|@1|^#n_sign_posn,}!
0 s51|-1 106 -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 t100|100&
3 f106 ()!
0 s106|&
0 s107|&
3 C0.17/18|!
3 C0.16/110|!
0 s121|&
3 f0 (112|@7|$#,)!
3 f5 (112|@7|$#,)!
3 f0 (112|@7|$#,)!
3 f5 (112|@7|$#,)!
3 f0 (112|@7|$#,)!
3 f5 (112|@7|$#,)!
3 f0 (112|@7|$#,)!
3 f5 (112|@7|$#,)!
3 f0 (112|@7|$#,)!
3 f5 (112|@7|$#,)!
3 f0 (112|@7|$#,)!
3 f5 (112|@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 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
3 f0 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
3 f0 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
3 f0 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
3 f0 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
3 f0 (112|$#,112|$#,)!
3 f5 (112|$#,112|$#,)!
0 a224|&
3 f0 (317|4@0@7&#,)!
3 f5 (317|4@0@7&#,)!
3 f0 (317|$#,5|$#,)!
3 f1 (317|$#,5|$#,)!
0 s233|&
3 ?!
3 f323 (5|$#,)!
3 f1 (5|$#,)^326
1 t325|325&
3 ?!
3 f327 (5|$#,)!
3 f1 (5|$#,)^330
1 t329|329&
3 ?!
3 f331 (5|$#,)!
3 f1 (5|$#,)^334
1 t333|333&
3 ?!
3 f335 (5|$#,)!
3 f1 (5|$#,)^338
1 t337|337&
3 f0 (5|$#,338|0@5@7&#,)!
3 f19 (5|$#,338|0@5@7&#,)^341
1 t340|340&
3 ?!
3 f342 (5|$#,)!
3 f19 (5|$#,)!
3 f1 (5|$#,338|0@5@7&#,)!
3 f1 (5|$#,)!
3 f346 (5|$#,338|0@5@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
0 a239|&
3 f0 (350|4@0@7&#,!.,)!
3 f1 (350|4@0@7&#,!.,)!
3 f0 (350|$#,)!
3 f1 (350|$#,)!
3 f0 (350|4@0@7&#,350|$#,)!
3 f1 (350|4@0@7&#,350|$#,)!
0 a243|-1 359 -1
0 a244|-1 435 -1
1 t357|357&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 ()!
3 f19 ()!
3 f359 ()!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
3 f0 (359|$#,)!
3 f5 (359|$#,)!
3 f0 (359|0@5@7&#,)!
3 f5 (359|0@5@7&#,)!
3 f0 (23|$#,23|$#,)!
3 f19 (23|$#,23|$#,)!
3 f359 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,359|$#,)!
3 f19 (23|$#,23|$#,359|$#,)!
3 f359 (23|$#,23|$#,359|$#,)!
3 f0 (359|$#,23|4@5@19@2@0#,)!
3 f1 (359|$#,23|4@5@19@2@0#,)!
3 f0 (359|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 f5 (359|$#,23|4@5@19@2@0#,5|$#,64|$#,)!
3 f0 (359|$#,23|$#,!.,)!
3 f5 (359|$#,23|$#,!.,)!
3 f0 (359|$#,23|$#,!.,)!
3 f5 (359|$#,23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (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|$#,350|$#,)!
3 f5 (23|$#,350|$#,)!
3 f0 (359|$#,23|$#,350|$#,)!
3 f5 (359|$#,23|$#,350|$#,)!
3 f0 (23|4@0@7&#,23|$#,350|$#,)!
3 f5 (23|4@0@7&#,23|$#,350|$#,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,350|$#,)!
3 f5 (23|4@0@7&#,64|$#,23|$#,350|$#,)!
3 f0 (359|$#,)!
3 f5 (359|$#,)!
3 f0 (23|@5|4@0@7&#,5|$#,359|$#,)!
3 f19 (23|@5|4@0@7&#,5|$#,359|$#,)!
3 f23 (23|@5|4@0@7&#,5|$#,359|$#,)!
3 C0.5/4|!
3 f0 (411|$#,359|$#,)!
3 f5 (411|$#,359|$#,)!
3 f0 (23|$#,359|$#,)!
3 f5 (23|$#,359|$#,)!
3 f0 (359|@7|$#,)!
3 f5 (359|@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 (411|$#,359|@7|$#,)!
3 f5 (411|$#,359|@7|$#,)!
3 f0 (411|$#,)!
3 f5 (411|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (411|$#,359|$#,)!
3 f5 (411|$#,359|$#,)!
3 f0 (20|4@0@7&#,64|$#,64|$#,359|$#,)!
3 f64 (20|4@0@7&#,64|$#,64|$#,359|$#,)!
3 f0 (20|$#,64|$#,64|$#,359|$#,)!
3 f64 (20|$#,64|$#,64|$#,359|$#,)!
1 t358|358&
3 f0 (359|$#,435|4@0@7&#,)!
3 f5 (359|$#,435|4@0@7&#,)!
3 f0 (359|$#,9|$#,5|$#,)!
3 f5 (359|$#,9|$#,5|$#,)!
3 f0 (359|$#,435|$#,)!
3 f5 (359|$#,435|$#,)!
3 f0 (359|$#,)!
3 f9 (359|$#,)!
3 f0 (359|$#,)!
3 f1 (359|$#,)!
3 f0 (359|$#,)!
3 f1 (359|$#,)!
3 f0 (359|$#,)!
3 f5 (359|$#,)!
3 f0 (359|$#,)!
3 f5 (359|$#,)!
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|$#,461|4@5@7&#,)!
3 f17 (23|$#,461|4@5@7&#,)!
3 f0 (23|$#,461|4@5@7&#,5|$#,)!
3 f9 (23|$#,461|4@5@7&#,5|$#,)!
3 f0 (23|$#,461|4@5@7&#,5|$#,)!
3 f10 (23|$#,461|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 f487 ()!
3 f1 ()^490
1 t489|489&
3 f0 (490|$#,)!
3 f5 (490|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f23 (23|$#,)!
3 f0 (23|0@5@7&#,)!
3 f5 (23|0@5@7&#,)!
3 ?!
3 f498 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^501
1 t500|500&
3 f0 (20|$#,20|$#,64|$#,64|$#,501|$#,)!
3 f19 (20|$#,20|$#,64|$#,64|$#,501|$#,)!
3 f20 (20|$#,20|$#,64|$#,64|$#,501|$#,)!
3 ?!
3 f505 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^508
1 t507|507&
3 f0 (20|$#,64|$#,64|$#,508|$#,)!
3 f1 (20|$#,64|$#,64|$#,508|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|^#quot,5|@1|^#rem,}!
0 s324|&
0 s325|&
3 f0 (5|$#,5|$#,)!
3 f515 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|^#quot,9|@1|^#rem,}!
0 s328|&
0 s329|&
3 f0 (9|$#,9|$#,)!
3 f522 (9|$#,9|$#,)!
3 f0 (5|$#,)!
3 f67 (5|$#,)!
3 f0 (359|$#,)!
3 f67 (359|$#,)!
1 t66|66 611 -1
3 f0 (529|@5|$#,5|$#,359|$#,)!
3 f19 (529|@5|$#,5|$#,359|$#,)!
3 f529 (529|@5|$#,5|$#,359|$#,)!
3 f0 (66|$#,359|$#,)!
3 f67 (66|$#,359|$#,)!
3 f0 (529|$#,359|$#,)!
3 f5 (529|$#,359|$#,)!
3 f0 (359|$#,5|$#,)!
3 f5 (359|$#,5|$#,)!
3 f0 (359|$#,529|$#,!.,)!
3 f5 (359|$#,529|$#,!.,)!
3 f0 (359|$#,529|$#,!.,)!
3 f5 (359|$#,529|$#,!.,)!
3 f0 (359|@7|$#,)!
3 f67 (359|@7|$#,)!
3 f0 ()!
3 f67 ()!
1 t68|68&
3 f0 (23|$#,64|$#,547|0@5@7&#,)!
3 f64 (23|$#,64|$#,547|0@5@7&#,)!
3 f0 (529|0@5@7&#,23|$#,64|$#,547|0@5@7&#,)!
3 f64 (529|0@5@7&#,23|$#,64|$#,547|0@5@7&#,)!
3 f0 (547|0@5@7&#,)!
3 f5 (547|0@5@7&#,)!
3 f0 (529|0@5@7&#,461|$#,64|$#,547|0@5@7&#,)!
3 f64 (529|0@5@7&#,461|$#,64|$#,547|0@5@7&#,)!
3 f0 (66|$#,359|@7|$#,)!
3 f67 (66|$#,359|@7|$#,)!
3 f0 (66|$#,)!
3 f67 (66|$#,)!
3 f0 (529|$#,64|$#,529|$#,!.,)!
3 f5 (529|$#,64|$#,529|$#,!.,)!
3 f0 (529|$#,529|$#,!.,)!
3 f5 (529|$#,529|$#,!.,)!
3 f0 (67|$#,359|$#,)!
3 f67 (67|$#,359|$#,)!
3 f0 (359|$#,529|$#,350|$#,)!
3 f5 (359|$#,529|$#,350|$#,)!
3 f0 (529|$#,64|$#,529|$#,350|$#,)!
3 f5 (529|$#,64|$#,529|$#,350|$#,)!
3 f0 (529|$#,350|$#,)!
3 f5 (529|$#,350|$#,)!
3 f0 (23|4@5@7&#,66|$#,547|0@5@7&#,)!
3 f64 (23|4@5@7&#,66|$#,547|0@5@7&#,)!
3 C0.1/529|!
3 f0 (529|@5|4@0@9&#,529|$#,)!
3 f1 (529|@5|4@0@9&#,529|$#,)!
3 f574 (529|@5|4@0@9&#,529|$#,)!
3 f0 (529|@5|$#,66|$#,)!
3 f19 (529|@5|$#,66|$#,)!
3 f529 (529|@5|$#,66|$#,)!
3 f0 (529|$#,529|$#,)!
3 f5 (529|$#,529|$#,)!
3 f0 (529|$#,529|$#,)!
3 f5 (529|$#,529|$#,)!
3 f0 (529|@5|4@0@9&#,529|$#,)!
3 f1 (529|@5|4@0@9&#,529|$#,)!
3 f574 (529|@5|4@0@9&#,529|$#,)!
3 f0 (529|$#,529|$#,)!
3 f64 (529|$#,529|$#,)!
0 s364|-1 591 -1
1 t590|590&
3 f0 (529|4@0@7&#,64|$#,529|$#,591|$#,)!
3 f64 (529|4@0@7&#,64|$#,529|$#,591|$#,)!
3 f0 (529|$#,)!
3 f64 (529|$#,)!
3 C0.1/529|!
3 f0 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f1 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f596 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f0 (529|$#,529|$#,64|$#,)!
3 f5 (529|$#,529|$#,64|$#,)!
3 f0 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f1 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f596 (529|@5|4@0@9&#,529|$#,64|$#,)!
3 f0 (529|@5|$#,529|$#,)!
3 f19 (529|@5|$#,529|$#,)!
3 f529 (529|@5|$#,529|$#,)!
3 f0 (529|@5|$#,66|$#,)!
3 f19 (529|@5|$#,66|$#,)!
3 f529 (529|@5|$#,66|$#,)!
1 t529|529&
3 f0 (23|0@5@7&#,611|$#,64|$#,547|0@5@7&#,)!
3 f64 (23|0@5@7&#,611|$#,64|$#,547|0@5@7&#,)!
3 f0 (529|$#,529|$#,)!
3 f64 (529|$#,529|$#,)!
3 f0 (529|$#,529|$#,)!
3 f19 (529|$#,529|$#,)!
3 f529 (529|$#,529|$#,)!
3 f0 (529|$#,611|0@5@7&#,)!
3 f17 (529|$#,611|0@5@7&#,)!
3 f0 (529|0@5@7&#,529|$#,611|$#,)!
3 f19 (529|0@5@7&#,529|$#,611|$#,)!
3 f529 (529|0@5@7&#,529|$#,611|$#,)!
3 f0 (529|$#,611|0@5@7&#,5|$#,)!
3 f9 (529|$#,611|0@5@7&#,5|$#,)!
3 f0 (529|$#,611|0@5@7&#,5|$#,)!
3 f10 (529|$#,611|0@5@7&#,5|$#,)!
3 f0 (529|0@5@7&#,529|$#,64|$#,)!
3 f64 (529|0@5@7&#,529|$#,64|$#,)!
3 f0 (67|$#,)!
3 f5 (67|$#,)!
3 f0 (529|$#,66|$#,64|$#,)!
3 f19 (529|$#,66|$#,64|$#,)!
3 f529 (529|$#,66|$#,64|$#,)!
3 f0 (529|$#,529|$#,64|$#,)!
3 f5 (529|$#,529|$#,64|$#,)!
3 f0 (529|@5|$#,529|$#,64|$#,)!
3 f19 (529|@5|$#,529|$#,64|$#,)!
3 f529 (529|@5|$#,529|$#,64|$#,)!
3 f0 (529|@5|$#,529|$#,64|$#,)!
3 f19 (529|@5|$#,529|$#,64|$#,)!
3 f529 (529|@5|$#,529|$#,64|$#,)!
3 f0 (529|@5|$#,66|$#,64|$#,)!
3 f19 (529|@5|$#,66|$#,64|$#,)!
3 f529 (529|@5|$#,66|$#,64|$#,)!
3 f0 (529|$#,!.,)!
3 f5 (529|$#,!.,)!
3 f0 (529|$#,!.,)!
3 f5 (529|$#,!.,)!
0 s388|&
0 s389|&
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,650|$#,)!
3 f2 (67|$#,650|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,)!
3 f2 (67|$#,)!
3 f0 (67|$#,651|$#,)!
3 f67 (67|$#,651|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f0 (67|$#,)!
3 f67 (67|$#,)!
3 f0 (23|$#,)!
3 f651 (23|$#,)!
3 f0 (23|$#,)!
3 f650 (23|$#,)!
3 f0 (23|$#,64|$#,)!
3 f5 (23|$#,64|$#,)!
3 f0 (529|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f5 (529|0@5@7&#,23|0@5@7&#,64|$#,)!
3 f0 (23|4@5@7&#,66|$#,)!
3 f5 (23|4@5@7&#,66|$#,)!
3 f0 (529|4@0@7&#,23|$#,64|$#,)!
3 f64 (529|4@0@7&#,23|$#,64|$#,)!
3 f0 (23|4@0@7&#,529|$#,64|$#,)!
3 f64 (23|4@0@7&#,529|$#,64|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f1 (20|@5|4@0@9&#,20|$#,64|$#,)!
3 f696 (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 f696 (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 f703 (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 f703 (23|@5|4@0@9&#,23|$#,64|$#,)!
3 f0 (23|@5|0@0@9&#,23|$#,)!
3 f1 (23|@5|0@0@9&#,23|$#,)!
3 f703 (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 f703 (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|$#,4|$#,)!
3 f19 (23|@5|$#,4|$#,)!
3 f23 (23|@5|$#,4|$#,)!
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|$#,4|$#,)!
3 f19 (23|@5|$#,4|$#,)!
3 f23 (23|@5|$#,4|$#,)!
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 f748 (20|@5|4@0@7&#,5|$#,64|$#,)!
3 f0 (5|$#,)!
3 f19 (5|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f64 (23|$#,)!
0 s435|&
0 s436|-1 766 -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 f757 ()!
3 f0 (758|$#,758|$#,)!
3 f17 (758|$#,758|$#,)!
3 f0 (591|$#,)!
3 f758 (591|$#,)!
1 t758|758&
3 f0 (766|4@5@7&#,)!
3 f758 (766|4@5@7&#,)!
3 f0 (591|$#,)!
3 f19 (591|$#,)!
3 f23 (591|$#,)!
3 f0 (766|$#,)!
3 f19 (766|$#,)!
3 f23 (766|$#,)!
3 f0 (766|$#,)!
3 f19 (766|$#,)!
3 f591 (766|$#,)!
3 f0 (766|$#,)!
3 f19 (766|$#,)!
3 f591 (766|$#,)!
3 f0 (23|4@0@7&#,64|$#,23|$#,591|$#,)!
3 f64 (23|4@0@7&#,64|$#,23|$#,591|$#,)!
0 s446|&
0 s447|&
0 s448|&
0 s449|&
0 s450|&
0 s451|&
0 s452|&
0 s453|&
0 s454|&
0 s455|&
0 s456|&
0 s457|&
0 s458|&
0 s459|&
0 s460|&
0 s461|&
0 s462|&
0 s463|&
0 s464|&
0 s465|&
0 s466|&
0 s467|&
0 s468|&
0 s469|&
0 s470|&
0 s471|&
0 s472|&
0 s473|&
0 s512|&
0 s513|-1 -1 1072
0 s514|&
0 s515|&
0 s516|&
0 s517|&
0 s518|&
0 s519|&
0 a520|-1 822 -1
3 Sdirent{42|@1|^#d_name,}!
0 s521|-1 830 -1
1 t819|819&
3 f0 (822|$#,)!
3 f5 (822|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f822 (23|$#,)!
3 f0 (822|$#,)!
3 f19 (822|$#,)!
1 t821|821&
3 f830 (822|$#,)!
3 f0 (822|$#,)!
3 f1 (822|$#,)!
3 Sflock{7|@1|^#l_type,7|@1|^#l_whence,816|@1|^#l_start,816|@1|^#l_len,817|@1|^#l_pid,}!
0 s606|&
3 f0 (23|$#,814|$#,)!
3 f5 (23|$#,814|$#,)!
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,812|@1|^#gr_gid,461|@1|0@0@3&#gr_mem,}!
0 s610|-1 846 -1
3 f0 (812|$#,)!
3 f19 (812|$#,)!
1 t843|843&
3 f846 (812|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f846 (23|$#,)!
3 Spasswd{23|@1|0@0@3&#pw_name,818|@1|^#pw_uid,812|@1|^#pw_gid,23|@1|0@0@3&#pw_dir,23|@1|0@0@3&#pw_shell,}!
0 s639|-1 855 -1
3 f0 (23|$#,)!
3 f19 (23|$#,)!
1 t852|852&
3 f855 (23|$#,)!
3 f0 (818|$#,)!
3 f19 (818|$#,)!
3 f855 (818|$#,)!
0 a642|&
3 f0 (860|$#,5|$#,)!
3 f1 (860|$#,5|$#,)!
3 f0 (860|4@0@7&#,5|$#,)!
3 f5 (860|4@0@7&#,5|$#,)!
0 a645|-1 912 -1
3 S!4{20|@1|0@0@3&#ss_sp,64|@1|^#ss_size,5|@1|^#ss_flags,}!
0 s646|&
0 s647|&
0 a648|&
0 s649|-1 871 -1
1 t870|870&
3 Ss_ucontext_t{871|@1|0@5@3&#uc_link,865|@1|0@0@3&#uc_sigmask,868|@1|^#uc_stack,869|@1|0@0@3&#uc_mcontext,}!
0 s650|-1 874 -1
1 t873|873&
3 f0 (874|$#,)!
3 f5 (874|$#,)!
3 f0 (874|$#,)!
3 f5 (874|$#,)!
3 ?!
3 f879 ()!
3 f1 ()^882
1 t881|881&
3 f0 (874|$#,882|$#,5|$#,!.,)!
3 f1 (874|$#,882|$#,5|$#,!.,)!
3 f0 (874|$#,874|$#,)!
3 f5 (874|$#,874|$#,)!
3 Ssigstack{5|@1|^#ss_onstack,20|@1|0@0@3&#ss_sp,}!
0 s672|&
0 s673|&
3 S!5{5|@1|^#si_signo,5|@1|^#si_errno,5|@1|^#si_code,817|@1|^#si_pid,818|@1|^#si_uid,20|@1|0@0@3&#si_addr,5|@1|^#si_status,9|@1|^#si_band,889|@1|0@0@3&#si_value,}!
0 s674|&
0 s675|-1 901 -1
3 U!6{5|@1|^#sival_int,20|@1|0@0@3&#sival_ptr,}!
0 s676|&
0 s677|&
3 ?!
3 f896 ()!
3 f1 ()^899
1 t898|898&
3 ?!
1 t892|892&
3 f900 (5|$#,901|$#,20|$#,)!
3 f1 (5|$#,901|$#,20|$#,)^904
1 t903|903&
3 Ssigaction{!899$$$@0#sa_handler,865|@1|0@0@3&#sa_mask,5|@1|^#sa_flags,!904$$$@0#sa_sigaction,}!
0 s678|-1 909 -1
3 f0 (817|$#,5|$#,)!
3 f5 (817|$#,5|$#,)!
1 t906|906&
3 f0 (5|$#,909|$#,909|4@5@7&#,)!
3 f5 (5|$#,909|$#,909|4@5@7&#,)!
1 t865|865&
3 f0 (912|$#,5|$#,)!
3 f5 (912|$#,5|$#,)!
3 f0 (912|$#,5|$#,)!
3 f5 (912|$#,5|$#,)!
3 f0 (912|4@0@7&#,)!
3 f5 (912|4@0@7&#,)!
3 f0 (912|4@0@7&#,)!
3 f5 (912|4@0@7&#,)!
3 f0 (912|$#,5|$#,)!
3 f5 (912|$#,5|$#,)!
3 f0 (912|4@0@7&#,)!
3 f5 (912|4@0@7&#,)!
3 f0 (5|$#,912|0@5@7&#,912|4@5@7&#,)!
3 f5 (5|$#,912|0@5@7&#,912|4@5@7&#,)!
3 f0 (912|$#,)!
3 f5 (912|$#,)!
3 f0 (5|$#,23|$#,)!
3 f19 (5|$#,23|$#,)!
3 f359 (5|$#,23|$#,)!
3 f0 (359|$#,)!
3 f5 (359|$#,)!
3 Sstat{814|@1|^#st_mode,813|@1|^#st_ino,811|@1|^#st_dev,815|@1|^#st_nlink,818|@1|^#st_uid,812|@1|^#st_gid,816|@1|^#st_size,758|@1|^#st_atime,758|@1|^#st_mtime,758|@1|^#st_ctime,}!
0 s693|-1 954 -1
3 C0.2/5|!
3 f0 (814|@7|$#,)!
3 f2 (814|@7|$#,)!
3 f936 (814|@7|$#,)!
3 f0 (814|@7|$#,)!
3 f2 (814|@7|$#,)!
3 f936 (814|@7|$#,)!
3 f0 (814|@7|$#,)!
3 f2 (814|@7|$#,)!
3 f936 (814|@7|$#,)!
3 f0 (814|@7|$#,)!
3 f2 (814|@7|$#,)!
3 f936 (814|@7|$#,)!
3 f0 (814|@7|$#,)!
3 f2 (814|@7|$#,)!
3 f936 (814|@7|$#,)!
3 f0 (23|$#,814|$#,)!
3 f5 (23|$#,814|$#,)!
1 t935|935&
3 f0 (5|$#,954|4@0@7&#,)!
3 f5 (5|$#,954|4@0@7&#,)!
3 f0 (23|$#,814|$#,)!
3 f5 (23|$#,814|$#,)!
3 f0 (23|$#,814|$#,)!
3 f5 (23|$#,814|$#,)!
3 f0 (23|$#,954|4@0@7&#,)!
3 f5 (23|$#,954|4@0@7&#,)!
3 f0 (814|$#,)!
3 f5 (814|$#,)!
3 Stms{757|@1|^#tms_utime,757|@1|^#tms_stime,757|@1|^#tms_cutime,757|@1|^#tms_cstime,}!
0 s705|-1 967 -1
1 t966|966&
3 f0 (967|4@0@7&#,)!
3 f757 (967|4@0@7&#,)!
3 Sutsname{42|@1|^#sysname,42|@1|^#nodename,42|@1|^#release,42|@1|^#version,42|@1|^#machine,}!
0 s707|-1 972 -1
1 t971|971&
3 f0 (972|4@0@7&#,)!
3 f5 (972|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 f817 (24|4@5@7&#,)!
3 f0 (817|$#,24|4@5@7&#,5|$#,)!
3 f817 (817|$#,24|4@5@7&#,5|$#,)!
3 C0.4/8|!
3 C0.3/8|!
0 s720|&
3 C0.9/9|!
3 C0.10/9|!
0 s721|&
0 s722|&
3 Stermios{997|@1|^#c_iflag,997|@1|^#c_oflag,997|@1|^#c_cflag,997|@1|^#c_lflag,993|@1|^#c_cc,}!
0 s791|-1 1000 -1
1 t999|999&
3 f0 (1000|$#,)!
3 f996 (1000|$#,)!
3 f0 (1000|$#,)!
3 f996 (1000|$#,)!
3 f0 (1000|$#,)!
3 f5 (1000|$#,)!
3 f0 (1000|$#,)!
3 f5 (1000|$#,)!
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|$#,1000|4@0@7&#,)!
3 f5 (5|$#,1000|4@0@7&#,)!
3 f0 (5|$#,5|$#,)!
3 f5 (5|$#,5|$#,)!
3 f0 (5|$#,5|$#,1000|$#,)!
3 f5 (5|$#,5|$#,1000|$#,)!
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|$#,818|$#,812|$#,)!
3 f5 (23|$#,818|$#,812|$#,)!
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|$#,1052|$#,)!
3 f5 (23|$#,1052|$#,)!
3 f0 (23|$#,1052|$#,461|$#,)!
3 f5 (23|$#,1052|$#,461|$#,)!
3 f0 (23|$#,1052|$#,)!
3 f5 (23|$#,1052|$#,)!
3 f0 ()!
3 f817 ()!
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 f812 ()!
3 f0 ()!
3 f818 ()!
3 f0 ()!
3 f812 ()!
2 y812|812&
3 f0 (5|$#,1072|4@0@7&#,)!
3 f5 (5|$#,1072|4@0@7&#,)!
3 f0 ()!
3 f19 ()!
3 f23 ()!
3 f0 ()!
3 f817 ()!
3 f0 ()!
3 f817 ()!
3 f0 ()!
3 f817 ()!
3 f0 ()!
3 f818 ()!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (5|$#,816|$#,5|$#,)!
3 f816 (5|$#,816|$#,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 (812|$#,)!
3 f5 (812|$#,)!
3 f0 (817|$#,817|$#,)!
3 f5 (817|$#,817|$#,)!
3 f0 ()!
3 f817 ()!
3 f0 (818|$#,)!
3 f5 (818|$#,)!
3 f0 (6|$#,)!
3 f6 (6|$#,)!
3 f0 (5|$#,)!
3 f9 (5|$#,)!
3 f0 (5|$#,)!
3 f817 (5|$#,)!
3 f0 (5|$#,817|$#,)!
3 f5 (5|$#,817|$#,)!
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{758|@1|^#actime,758|@1|^#modtime,}!
0 s883|-1 1127 -1
1 t1126|1126&
3 f0 (23|$#,1127|0@5@7&#,)!
3 f5 (23|$#,1127|0@5@7&#,)!
0 a885|-1 1135 -1
0 s886|&
3 S!7{1131|@1|^#rm_so,1131|@1|^#rm_eo,}!
0 s887|&
0 s888|-1 -1 1138
1 t1130|1130&
3 f0 (1135|4@0@7&#,23|$#,5|$#,)!
3 f5 (1135|4@0@7&#,23|$#,5|$#,)!
2 y1134|1134&
3 f0 (1135|$#,23|$#,64|$#,1138|4@0@7&#,5|$#,)!
3 f5 (1135|$#,23|$#,64|$#,1138|4@0@7&#,5|$#,)!
3 f0 (5|$#,1135|$#,23|4@0@7&#,64|$#,)!
3 f64 (5|$#,1135|$#,23|4@0@7&#,64|$#,)!
3 f0 (1135|0@0@2&#,)!
3 f1 (1135|0@0@2&#,)!
;;tistable
0
34
34,224
224
34,224,239
239
34,224,239,243
243
34,224,239,243,244
244
520
520,642
642
520,642,645
645
520,642,645,648
648
520,642,645,648,885
885
;;symTable
*0 (Datatype)
^0 2@a@-@0@0@0@0@2#_Bool
*1 (Constant)
^1 2@i0@0@6#false
^2 2@i1@0@0#true
*11 (GlobalMarker)
*1 (Constant)
^4 5$#__LINE__
^5 23$#__DATE__#__FILE__#__BASE_FILE__#__func__
^9 5$#__INCLUDE_LEVEL__
^10 23$#__VERSION__
*0 (Datatype)
^11 13@c@-@0@0@0@0@59#__SIZE_TYPE__
^12 13@c@-@0@0@0@0@60#__PTRDIFF_TYPE__
^13 13@c@-@0@0@0@0@61#__WCHAR_TYPE__
*1 (Constant)
^14 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
^17 5$#__STDC__#S_SPLINT_S#__LCLINT__#__i686
*3 (Variable)
^21 359|@1|6@0@0@0@2#stdin#stdout
*1 (Constant)
^23 5$#EDOM#ERANGE#EILSEQ
*3 (Variable)
^26 5|@1|6@0@0@0@4#errno
*0 (Datatype)
^27 2@-@-@0@0@0@0@62#bool
*1 (Constant)
^28 5@i1@0@0#__bool_true_false_are_defined
*0 (Datatype)
^29 13@-@-@0@0@0@0@63#ptrdiff_t
^30 14@-@-@0@0@0@0@64#size_t
^31 15@-@-@0@0@0@0@65#ssize_t
^32 13@-@-@0@0@0@0@66#wchar_t
^33 13@-@-@0@0@0@0@67#wint_t
^34 0@a@=@0@0@0@0@68#mbstate_t
*1 (Constant)
^35 0@i0@0@6#NULL
^36 2$#NDEBUG
*4 (Function)
^37 72@6@0@8@0@0^$@0#assert
^38 74$^$@0#isalnum
^39 76$^$@0#isalpha
^40 78$^$@0#iscntrl
^41 80$^$@0#isdigit
^42 82$^$@0#isgraph
^43 84$^$@0#islower
^44 86$^$@0#isprint
^45 88$^$@0#ispunct
^46 90$^$@0#isspace
^47 92$^$@0#isupper
^48 94$^$@0#isxdigit
^49 96$^$@0#tolower
^50 98$^$@0#toupper
*7 (Struct tag)
^51 99@100#@lconv
*1 (Constant)
^52 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
*4 (Function)
^58 103@6@5@1@0@0@0@s1,g26@6@0@1@s1,g26@19@3@0#setlocale
^59 107$^@3@0@0#localeconv
*3 (Variable)
^60 5|@1|6@0@0@0@1#DBL_DIG
^61 17|@1|6@0@0@0@1#DBL_EPSILON
^62 5|@1|6@0@0@0@1#DBL_MANT_DIG
^63 17|@1|6@0@0@0@1#DBL_MAX
^64 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
^66 17|@1|6@0@0@0@1#DBL_MIN
^67 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
^70 16|@1|6@0@0@0@1#FLT_EPSILON
^71 5|@1|6@0@0@0@1#FLT_MANT_DIG
^72 16|@1|6@0@0@0@1#FLT_MAX
^73 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
^75 16|@1|6@0@0@0@1#FLT_MIN
^76 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
*1 (Constant)
^78 5$#FLT_RADIX
*3 (Variable)
^79 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
^81 18|@1|6@0@0@0@1#LDBL_EPSILON
^82 5|@1|6@0@0@0@1#LDBL_MANT_DIG
^83 18|@1|6@0@0@0@1#LDBL_MAX
^84 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
^86 18|@1|6@0@0@0@1#LDBL_MIN
^87 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
*1 (Constant)
^89 5$#CHAR_BIT
^90 4$#CHAR_MAX#CHAR_MIN
^92 5$#INT_MAX#INT_MIN
^94 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
^97 4$#SCHAR_MAX#SCHAR_MIN
^99 7$#SHRT_MAX#SHRT_MIN
^101 3$#UCHAR_MAX#UCHAR_MIN
^103 6$#UINT_MAX
^104 10$#ULONG_MAX
^105 8$#USHRT_MAX
*0 (Datatype)
^106 16@-@-@0@0@0@0@108#float_t
^107 17@-@-@0@0@0@0@109#double_t
*1 (Constant)
^108 17$#HUGE_VAL
^109 16$#HUGE_VALF
^110 18$#HUGE_VALL
^111 16$#INFINITY#NAN
^113 5$#FP_INFINITE#FP_NAN#FP_NORMAL#FP_SUBNORMAL#FP_ZERO#FP_ILOGB0#FP_ILOGBNAN#DECIMAL_DIG
*0 (Datatype)
^121 111@-@-@0@0@0@0@112#s_real_t
*4 (Function)
^122 114$^$@0#fpclassify
^123 116$^$@0#signbit
^124 118$^$@0#isfinite
^125 120$^$@0#isnormal
^126 122$^$@0#isnan
^127 124$^$@0#isinf
^128 126$@0@g26@6@0@1@g26$@0#acos
^129 128$@0@g26@6@0@1@g26$@0#asin
^130 130$^$@0#atan
^131 132$^$@0#atan2
^132 134$^$@0#cos
^133 136$^$@0#sin
^134 138$^$@0#tan
^135 140$@0@g26@6@0@1@g26$@0#cosh
^136 142$@0@g26@6@0@1@g26$@0#sinh
^137 144$^$@0#tanh
^138 146$@0@g26@6@0@1@g26$@0#acosh
^139 148$@0@g26@6@0@1@g26$@0#asinh
^140 150$@0@g26@6@0@1@g26$@0#atanh
^141 152$@0@g26@6@0@1@g26$@0#exp
^142 154$@0@@1@tp1$@0#frexp
^143 156$@0@g26@6@0@1@g26$@0#ldexp
^144 158$@0@g26@6@0@1@g26$@0#log
^145 160$@0@g26@6@0@1@g26$@0#log10
^146 162$@0@@1@tp1$@0#modf
^147 164$@0@g26@6@0@1@g26$@0#exp2
^148 166$@0@g26@6@0@1@g26$@0#expm1
^149 168$@0@g26@6@0@1@g26$@0#log1p
^150 170$@0@g26@6@0@1@g26$@0#log2
^151 172$@0@g26@6@0@1@g26$@0#logb
^152 174$@0@g26@6@0@1@g26$@0#scalbn
^153 176$@0@g26@6@0@1@g26$@0#scalbln
^154 178$@0@g26@6@0@1@g26$@0#scalblnl
^155 180$@0@g26@6@0@1@g26$@0#ilogb
^156 182$@0@g26@6@0@1@g26$@0#ilogbf
^157 184$@0@g26@6@0@1@g26$@0#ilogbl
^158 186$^$@0#fabs
^159 188$^$@0#fabsf
^160 190$^$@0#fabsl
^161 192$@0@g26@6@0@1@g26$@0#pow
^162 194$@0@g26@6@0@1@g26$@0#powf
^163 196$@0@g26@6@0@1@g26$@0#powl
^164 198$@0@g26@6@0@1@g26$@0#sqrt
^165 200$@0@g26@6@0@1@g26$@0#sqrtf
^166 202$@0@g26@6@0@1@g26$@0#sqrtl
^167 204$^$@0#cbrt
^168 206$^$@0#cbrtf
^169 208$^$@0#cbrtl
^170 210$@0@g26@6@0@1@g26$@0#hypot
^171 212$@0@g26@6@0@1@g26$@0#hypotf
^172 214$@0@g26@6@0@1@g26$@0#hypotl
^173 216$^$@0#erf
^174 218$^$@0#erfc
^175 220$^$@0#erff
^176 222$^$@0#erfl
^177 224$^$@0#erfcf
^178 226$^$@0#erfcl
^179 228$@0@g26@6@0@1@g26$@0#gamma
^180 230$@0@g26@6@0@1@g26$@0#gammaf
^181 232$@0@g26@6@0@1@g26$@0#gammal
^182 234$@0@g26@6@0@1@g26$@0#lgamma
^183 236$@0@g26@6@0@1@g26$@0#lgammaf
^184 238$@0@g26@6@0@1@g26$@0#lgammal
^185 240$^$@0#ceil
^186 242$^$@0#ceilf
^187 244$^$@0#ceill
^188 246$^$@0#floor
^189 248$^$@0#floorf
^190 250$^$@0#floorl
^191 252$^$@0#nearbyint
^192 254$^$@0#nearbyintf
^193 256$^$@0#nearbyintl
^194 258$^$@0#rint
^195 260$^$@0#rintf
^196 262$^$@0#rintl
^197 264$@0@g26@6@0@1@g26$@0#lrint
^198 266$@0@g26@6@0@1@g26$@0#lrintf
^199 268$@0@g26@6@0@1@g26$@0#lrintl
^200 270$@0@g26@6@0@1@g26$@0#llrint
^201 272$@0@g26@6@0@1@g26$@0#llrintf
^202 274$@0@g26@6@0@1@g26$@0#llrintl
^203 276$^$@0#round
^204 278$@0@g26@6@0@1@g26$@0#lround
^205 280$@0@g26@6@0@1@g26$@0#llround
^206 282$^$@0#trunc
^207 284$^$@0#fmod
^208 286$^$@0#remainder
^209 288$@0@@1@tp2$@0#remquo
^210 290$^$@0#copysign
^211 292$^$@0#nan
^212 294$^$@0#nextafter
^213 296$^$@0#nextafterx
^214 298$@0@g26@6@0@1@g26$@0#fdim
^215 300$^$@0#fmax
^216 302$^$@0#fmin
^217 304$^$@0#fma
^218 306$^$@0#isgreater
^219 308$^$@0#isgreaterequal
^220 310$^$@0#isless
^221 312$^$@0#islessequal
^222 314$^$@0#islessgreater
^223 316$^$@0#isunordered
*0 (Datatype)
^224 20@a@+@0@0@0@0@317#jmp_buf
*4 (Function)
^225 319$@0@@1@p0$@0#setjmp
^226 321@6@0@5@0@0^$@0#longjmp
*1 (Constant)
^227 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
*0 (Datatype)
^233 13@-@-@0@0@0@0@322#sig_atomic_t
*1 (Constant)
^234 326$#SIG_DFL
^235 330$#SIG_ERR
^236 334$#SIG_IGN
*4 (Function)
^237 347@6@5@1@0@0@0@s1,g26@6@0@1@s1,g26$@0#signal
^238 349@6@0@5@0@0$$@0#raise
*0 (Datatype)
^239 20@a@+@0@0@0@0@350#va_list
*4 (Function)
^240 352$@0@@1@p0$@0#va_start
^241 354$@0@@1@p0$@0#va_end
^242 356$$$@0#va_copy
*0 (Datatype)
^243 20@a@+@0@0@0@0@357#FILE
^244 20@a@+@0@0@0@0@358#fpos_t
*1 (Constant)
^245 64$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
^249 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
*3 (Variable)
^257 359|@1|6@0@0@0@2#stderr
*4 (Function)
^258 361$@0@s3,g26@6@0@1@s3,g26$@0#remove
^259 363$@0@s3,g26@6@0@1@s3,g26$@0#rename
^260 366@6@5@1@0@0@0@s3,g26@6@0@1@s3,g26@18@0@0#tmpfile
^261 369$@0@s1@1@tp0,s1@19@3@0#tmpnam
^262 371$@0@g26@6@0,s3@1@tp0,g26,s3$@0#fclose
^263 373$@0@g26@6@0,s3@1@tp0,g26,s3$@0#fflush
^264 376@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
^265 379@6@5@1@0@0@0@s3,g26@6@0@1@tp2,s3,g26@18@0@0#freopen
^266 381$@0@s3@1@s3,tp0,tp1$@0#setbuf
^267 383$@0@s3@1@s3,tp0,tp1$@0#setvbuf
^268 385@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
^269 387@6@0@1@2@0@0@s3,g26@6@0@1@s3,tp0,g26$@0#fscanf
^270 389@6@0@1@1@0@1@g22@6@0,s3@1@s3,tg22$@0#printf
^271 391@6@0@1@2@0@1@g21@6@0,s3,g26@6@0@1@s3,tg21,g26$@0#scanf
^272 393@6@0@1@1@0@0@@1@tp0$@0@W:bufferoverflowhigh#Buffer overflow possible with sprintf.  Recommend using snprintf instead##sprintf
^273 395@6@0@1@1@0@0@@1@p0$@0#snprintf
^274 397@6@0@1@2@0@0@g26@6@0@1@g26$@0#sscanf
^275 399$@1@g22@6@0,s3@1@s3,tg22$@0#vprintf
^276 401$@0@s3,g26@6@0@1@s3,tp0,p2,g26$@0#vfprintf
^277 403$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
^278 405$@0@@1@p0$@0#vsnprintf
^279 407$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fgetc
^280 410@6@5@1@0@0@0@s3,g26@6@0@1@s3,tp0,tp2,g26$@0#fgets
^281 413$@0@s3,g26@6@0@1@s3,tp1,g26$@0#fputc
^282 415$@0@s3@1@s3,tp1$@0#fputs
^283 417$@0@s3,g26@6@0@1@s3,tp0,g26$@0#getc
^284 419$@1@g21@6@0,s3,g26@6@0@1@s3,tg21,g26$@0#getchar
^285 422@6@5@1@0@0@1@g21@6@0,s3,g26@6@0@1@s3,tp0,tg21,g26@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
^286 424$@0@s3,g26@6@0@1@s3,tp1,g26$@0#putc
^287 426$@1@g22@6@0,s3,g26@6@0@1@s3,tg22,g26$@0#putchar
^288 428$@1@g22@6@0,s3,g26@6@0@1@s3,tg22,g26$@0#puts
^289 430$@0@s3@1@s3,tp1$@0#ungetc
^290 432$@0@s3,g26@6@0@1@s3,tp0,tp3,g26$@0#fread
^291 434$@0@s3,g26@6@0@1@s3,tp3,g26$@0#fwrite
^292 437$@0@g26@6@0@1@tp1,g26$@0#fgetpos
^293 439$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fseek
^294 441$@0@s3,g26@6@0@1@s3,tp0,g26$@0#fsetpos
^295 443$@0@g26@6@0@1@g26$@0#ftell
^296 445$@0@@1@tp0$@0#rewind
^297 447$@0@@1@tp0$@0#clearerr
^298 449$@0@g26@6@0@1@g26$@0#feof
^299 451$@0@g26@6@0@1@g26$@0#ferror
^300 453$@1@g26@6@0,g257@6@0,s3@1@s3,tg257$@0#perror
^301 455$^$@0#atof
^302 457$^$@0#atoi
^303 459$^$@0#atol
^304 463$@0@g26@6@0@1@tp1,g26$@0#strtod
^305 465$@0@g26@6@0@1@tp1,g26$@0#strtol
^306 467$@0@g26@6@0@1@tp1,g26$@0#strtoul
*1 (Constant)
^307 5$#RAND_MAX
*4 (Function)
^308 469$@0@s1@1@s1$@0#rand
^309 471$@0@s1@1@s1$@0#srand
^310 474@6@5@1@0@0^@2@0@0#calloc
^311 477@4@5@1@0@0^@2@0@0#malloc
^312 480@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
^313 482$@0@@1@p0$@0#free
*1 (Constant)
^314 5$#EXIT_FAILURE#EXIT_SUCCESS
*4 (Function)
^316 484@6@0@6@0@0^$@0#abort
^317 486@6@0@6@0@0^$@0#exit
^318 492$@0@s1@1@s1$@0#atexit
^319 495@6@5@1@0@0^@19@3@0#getenv
^320 497$@0@s3@1@s3$@0#system
^321 504@6@5@1@0@0^@18@0@0#bsearch
^322 510$@0@g26@6@0@1@tp0,g26$@0#qsort
^323 512$^$@0#abs
*7 (Struct tag)
^324 513@514#@!2
*0 (Datatype)
^325 513@c@-@0@0@0@0@515#div_t
*4 (Function)
^326 517$^$@0#div
^327 519$^$@0#labs
*7 (Struct tag)
^328 520@521#@!3
*0 (Datatype)
^329 520@c@-@0@0@0@0@522#ldiv_t
*4 (Function)
^330 524$^$@0#ldiv
*1 (Constant)
^331 64$#MB_CUR_MAX
^332 5$#WCHAR_MAX#WCHAR_MIN
^334 67$#WEOF
*4 (Function)
^335 526$^$@0#btowc
^336 528$@0@s3@1@s3,tp0$@0#fgetwc
^337 532@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
^338 534$@0@s3@1@s3,tp1$@0#fputwc
^339 536$@0@s3@1@s3,tp1$@0#fputws
^340 538$^$@0#fwide
^341 540@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
^342 542@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
^343 544$@0@s3@1@s3,tp0$@0#getwc
^344 546$@0@s3,g21@6@0@1@s3,tg21$@0#getwchar
^345 549$^$@0#mbrlen
^346 551$@0@@1@tp0$@0#mbrtowc
^347 553$^$@0#mbsinit
^348 555$@0@@1@tp0$@0#mbsrtowcs
^349 557$@0@s3@1@s3,tp1$@0#putwc
^350 559$@0@s3,g22@6@0@1@s3,tg22$@0#putwchar
^351 561@6@0@1@1@0@0@@1@tp0$@0#swprintf
^352 563@6@0@1@2@0@0@g21@6@0@1@tg21$@0#swscanf
^353 565$@0@s3@1@s3,tp1$@0#ungetwc
^354 567$@0@s3@1@s3,tp0$@0#vfwprintf
^355 569$@0@@1@tp0$@0#vswprintf
^356 571$@0@s3,g22@6@0@1@s3,tg22$@0#vwprintf
^357 573$@0@@1@tp0$@0#wcrtomb
^358 577$@0@@1@tp0$@0#wcscat
^359 580@6@5@1@0@0^@19@2@0#wcschr
^360 582$^$@0#wcscmp
^361 584$^$@0#wcscoll
^362 587$@0@@1@tp0$@0#wcscpy
^363 589$^$@0#wcscspn
*7 (Struct tag)
^364 759@590#@tm
*4 (Function)
^365 593$@0@@1@tp0$@0#wcsftime
^366 595$^$@0#wcslen
^367 599$@0@@1@tp0$@0#wcsncat
^368 601$^$@0#wcsncmp
^369 604$@0@@1@tp0$@0#wcsncpy
^370 607@6@5@1@0@0^$@0#wcspbrk
^371 610@6@5@1@0@0^$@0#wcsrchr
^372 613$@0@@1@tp1$@0#wcsrtombs
^373 615$^$@0#wcsspn
^374 618@6@5@1@0@0^@3@0@0#wcsstr
^375 620$@0@@1@tp1$@0#wcstod
^376 623@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
^377 625$@0@@1@tp1$@0#wcstol
^378 627$@0@@1@tp1$@0#wcstoul
^379 629$@0@@1@tp0$@0#wcsxfrm
^380 631$^$@0#wctob
^381 634@6@5@1@0@0^@3@0@0#wmemchr
^382 636$^$@0#wmemcmp
^383 639$@0@@1@tp0$@0#wmemcpy
^384 642$@0@@1@tp0$@0#wmemmove
^385 645$@0@@1@tp0$@0#wmemset
^386 647@6@0@1@1@0@1@g22@6@0,g26@6@0@1@g26,tg22$@0#wprintf
^387 649@6@0@1@2@0@1@g21@6@0,g26@6@0@1@g26,tg21$@0#wscanf
*0 (Datatype)
^388 13@-@-@0@0@0@0@650#wctype_t
^389 13@-@-@0@0@0@0@651#wctrans_t
*4 (Function)
^390 653$^$@0#iswalnum
^391 655$^$@0#iswalpha
^392 657$^$@0#iswcntrl
^393 659$^$@0#iswctype
^394 661$^$@0#iswdigit
^395 663$^$@0#iswgraph
^396 665$^$@0#iswlower
^397 667$^$@0#iswprint
^398 669$^$@0#iswpunct
^399 671$^$@0#iswspace
^400 673$^$@0#iswupper
^401 675$^$@0#iswxdigit
^402 677$^$@0#towctrans
^403 679$^$@0#towlower
^404 681$^$@0#towupper
^405 683$^$@0#wctrans
^406 685$^$@0#wctype
^407 687$^$@0#mblen
^408 689$@0@@1@tp0$@0#mbtowc
^409 691$@0@@1@tp0$@0#wctomb
^410 693$@0@@1@tp0$@0#mbstowcs
^411 695$@0@@1@tp0$@0#wcstombs
^412 699$@0@@1@tp0$@0#memcpy
^413 702$@0@@1@tp0$@0#memmove
^414 706$@0@@1@tp0$@0#strcpy
^415 709$@0@@1@tp0$@0#strncpy
^416 712$@0@@1@tp0$@0#strcat
^417 715$@0@@1@tp0$@0#strncat
^418 717$^$@0#memcmp
^419 719$^$@0#strcmp
^420 721$^$@0#strcoll
^421 723$^$@0#strncmp
^422 725$@0@@1@tp0$@0#strxfrm
^423 728@6@5@1@0@0^@3@0@0#memchr
^424 731@6@5@1@0@0^@19@2@0#strchr
^425 733$^$@0#strcspn
^426 736@6@5@1@0@0^@19@2@0#strpbrk
^427 739@6@5@1@0@0^@19@2@0#strrchr
^428 741$^$@0#strspn
^429 744@6@5@1@0@0^@19@2@0#strstr
^430 747@6@5@1@0@0@0@s1,g26@6@0@1@tp0,s1,g26@19@2@0#strtok
^431 751$@0@@1@tp0$@0#memset
^432 754$^@19@3@0#strerror
^433 756$^$@0#strlen
*1 (Constant)
^434 5$#CLOCKS_PER_SEC
*0 (Datatype)
^435 13@-@-@0@0@0@0@757#clock_t
^436 13@-@-@0@0@0@0@758#time_t
*4 (Function)
^437 761$@0@s1@1@s1$@0#clock
^438 763$^$@0#difftime
^439 765$^$@0#mktime
^440 768$@0@@1@tp0$@0#time
^441 771$@0@g26@6@0@1@g26@19@3@0#asctime
^442 774$^@19@3@0#ctime
^443 777$^@19@3@0#gmtime
^444 780$@0@g26@6@0@1@g26@19@3@0#localtime
^445 782$@0@@1@tp0$@0#strftime
*0 (Datatype)
^446 13@-@-@0@0@0@0@783#int8_t
^447 13@-@-@0@0@0@0@784#int16_t
^448 13@-@-@0@0@0@0@785#int32_t
^449 13@-@-@0@0@0@0@786#int64_t
^450 14@-@-@0@0@0@0@787#uint8_t
^451 14@-@-@0@0@0@0@788#uint16_t
^452 14@-@-@0@0@0@0@789#uint32_t
^453 14@-@-@0@0@0@0@790#uint64_t
^454 13@-@-@0@0@0@0@791#int_least8_t
^455 13@-@-@0@0@0@0@792#int_least16_t
^456 13@-@-@0@0@0@0@793#int_least32_t
^457 13@-@-@0@0@0@0@794#int_least64_t
^458 14@-@-@0@0@0@0@795#uint_least8_t
^459 14@-@-@0@0@0@0@796#uint_least16_t
^460 14@-@-@0@0@0@0@797#uint_least32_t
^461 14@-@-@0@0@0@0@798#uint_least64_t
^462 13@-@-@0@0@0@0@799#int_fast8_t
^463 13@-@-@0@0@0@0@800#int_fast16_t
^464 13@-@-@0@0@0@0@801#int_fast32_t
^465 13@-@-@0@0@0@0@802#int_fast64_t
^466 14@-@-@0@0@0@0@803#uint_fast8_t
^467 14@-@-@0@0@0@0@804#uint_fast16_t
^468 14@-@-@0@0@0@0@805#uint_fast32_t
^469 14@-@-@0@0@0@0@806#uint_fast64_t
^470 15@-@-@0@0@0@0@807#intptr_t
^471 14@-@-@0@0@0@0@808#uintptr_t
^472 15@-@-@0@0@0@0@809#intmax_t
^473 14@-@-@0@0@0@0@810#uintmax_t
*1 (Constant)
^474 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
^510 64$#INTPTR_MIN#INTPTR_MAX
*0 (Datatype)
^512 13@-@-@0@0@0@0@811#dev_t
^513 13@-@-@0@0@0@0@812#gid_t
^514 14@-@-@0@0@0@0@813#ino_t
^515 13@-@-@0@0@0@0@814#mode_t
^516 13@-@-@0@0@0@0@815#nlink_t
^517 13@-@-@0@0@0@0@816#off_t
^518 13@-@-@0@0@0@0@817#pid_t
^519 13@-@-@0@0@0@0@818#uid_t
^520 20@a@+@0@0@0@0@819#DIR
*7 (Struct tag)
^521 820@821#@dirent
*4 (Function)
^522 824$@0@g26@6@0@1@g26$@0#closedir
^523 827@6@5@1@0@0@0@g26@6@0,s3@1@g26,s3@18@0@0#opendir
^524 831@6@5@1@0@0@0@g26@6@0@1@g26@18@0@0#readdir
^525 833$^$@0#rewinddir
*1 (Constant)
^526 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
^583 814$#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)
^606 834@835#@flock
*4 (Function)
^607 837$@0@g26@6@0@1@g26$@0#creat
^608 839$@0@g26@6@0@1@g26$@0#fcntl
^609 841$@0@g26@6@0@1@g26$@0#open
*7 (Struct tag)
^610 842@843#@group
*4 (Function)
^611 847@6@5@1@0@0@0@g26@6@0@1@g26@19@3@0#getgrgid
^612 850@6@5@1@0@0@0@g26@6@0@1@g26@19@3@0#getgrnam
*1 (Constant)
^613 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
^617 64$#MAX_INPUT#NAME_MAX
^619 9$#NGROUPS_MAX#OPEN_MAX
^621 64$#PATH_MAX#PIPE_BUF
^623 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)
^639 851@852#@passwd
*4 (Function)
^640 856@6@5@1@0@0@0@g26@6@0@1@g26@19@3@0#getpwnam
^641 859@6@5@1@0@0@0@g26@6@0@1@g26@19@3@0#getpwuid
*0 (Datatype)
^642 20@a@+@0@0@0@0@860#sigjmp_buf
*4 (Function)
^643 862@6@0@5@0@0^$@0#siglongjmp
^644 864$@0@@1@p0$@0#sigsetjmp
*0 (Datatype)
^645 0@a@=@0@0@0@0@865#sigset_t
*7 (Struct tag)
^646 866@867#@!4
*0 (Datatype)
^647 866@-@-@0@0@0@0@868#stack_t
^648 0@a@=@0@0@0@0@869#mcontext_t
*7 (Struct tag)
^649 872@870#@s_ucontext_t
*0 (Datatype)
^650 870@-@+@0@0@0@0@873#ucontext_t
*4 (Function)
^651 876$$$@0#getcontext
^652 878$$$@0#setcontext
^653 884$$$@0#makecontext
^654 886$$$@0#swapcontext
*1 (Constant)
^655 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)
^672 887@888#@sigstack
*8 (Union tag)
^673 0@889#$sigval
*7 (Struct tag)
^674 890@891#@!5
*0 (Datatype)
^675 890@-@-@0@0@0@0@892#siginfo_t
*8 (Union tag)
^676 893@894#$!6
*0 (Datatype)
^677 893@-@-@0@0@0@0@895#sigval
*7 (Struct tag)
^678 905@906#@sigaction
*4 (Function)
^679 908@6@0@5@0@0@0@g26@6@0@1@g26$@0#kill
^680 911$@0@g26@6@0,s3@1@tp2,g26,s3$@0#sigaction
^681 914$@0@g26@6@0@1@tp0,g26$@0#sigaddset
^682 916$@0@g26@6@0@1@tp0,g26$@0#sigdelset
^683 918$@0@g26@6@0@1@tp0,g26$@0#sigemptyset
^684 920$@0@g26@6@0@1@tp0,g26$@0#sigfillset
^685 922$@0@g26@6@0@1@g26$@0#sigismember
^686 924$@0@g26@6@0@1@tp0,g26$@0#sigpending
^687 926$@0@g26@6@0,s3@1@tp2,g26,s3$@0#sigprocmask
^688 928$@0@g26@6@0,s3@1@g26,s3$@0#sigsuspend
*1 (Constant)
^689 5$#L_ctermid#L_cuserid
*4 (Function)
^691 931@6@5@1@0@0@0@g26@6@0,s3@1@g26,s3@18@0@0#fdopen
^692 933$@0@g26@6@0@1@g26$@0#fileno
*7 (Struct tag)
^693 934@935#@stat
*4 (Function)
^694 939$^$@0#S_ISBLK
^695 942$^$@0#S_ISCHR
^696 945$^$@0#S_ISDIR
^697 948$^$@0#S_ISFIFO
^698 951$^$@0#S_ISREG
^699 953$@0@s3,g26@6@0@1@s3,g26$@0#chmod
^700 956$@0@g26@6@0@1@g26,tp1$@0#fstat
^701 958$@0@s3,g26@6@0@1@s3,g26$@0#mkdir
^702 960$@0@s3,g26@6@0@1@s3,g26$@0#mkfifo
^703 962$@0@g26@6@0@1@g26,tp1$@0#stat
^704 964$@0@s3@1@s3$@0#umask
*7 (Struct tag)
^705 965@966#@tms
*4 (Function)
^706 969$@0@@1@tp0$@0#times
*7 (Struct tag)
^707 970@971#@utsname
*4 (Function)
^708 974$@0@g26@6@0@1@tp0,g26$@0#uname
^709 976$^$@0#WEXITSTATUS
^710 978$^$@0#WIFEXITED
^711 980$^$@0#WIFSIGNALED
^712 982$^$@0#WIFSTOPPED
^713 984$^$@0#WSTOPSIG
^714 986$^$@0#WTERMSIG
*1 (Constant)
^715 5$#WUNTRACED#WCONTINUED#WNOHANG
*4 (Function)
^718 988$@0@g26@6@0,s3@1@tp0,g26,s3$@0#wait
^719 990$@0@g26@6@0,s3@1@tp1,g26,s3$@0#waitpid
*0 (Datatype)
^720 992@-@-@0@0@0@0@993#cc_t
^721 995@-@-@0@0@0@0@996#speed_t
^722 995@-@-@0@0@0@0@997#tcflag_t
*1 (Constant)
^723 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)
^791 998@999#@termios
*4 (Function)
^792 1002$^$@0#cfgetispeed
^793 1004$^$@0#cfgetospeed
^794 1006$@0@@1@tp0$@0#cfsetispeed
^795 1008$@0@@1@tp0$@0#cfsetospeed
^796 1010$@0@g26@6@0@1@g26$@0#tcdrain
^797 1012$@0@g26@6@0@1@g26$@0#tcflow
^798 1014$@0@g26@6@0@1@g26$@0#tcflush
^799 1016$@0@g26@6@0@1@g26,tp1$@0#tcgetattr
^800 1018$@0@g26@6@0@1@g26$@0#tcsendbreak
^801 1020$@0@g26@6@0@1@g26$@0#tcsetattr
*3 (Variable)
^802 461|@1|6@0@0@0@1#environ
*1 (Constant)
^803 5$#CLK_TCK
*4 (Function)
^804 1022$@1@g802@6@0,s3@1@s3$@0#tzset
*1 (Constant)
^805 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)
^836 1024@6@0@6@0@0^$@0#_exit
^837 1026$@0@g26@6@0@1@g26$@0#access
^838 1028$@0@s3@1@s3$@0#alarm
^839 1030$@0@g26@6@0@1@g26$@0#chdir
^840 1032$@0@s3,g26@6@0@1@s3,g26$@0#chown
^841 1034$@0@s3,g26@6@0@1@s3,g26$@0#close
^842 1037$@0@s3@1@tp0,s3$@0#ctermid
^843 1040$@0@@1@tp0@3@0@0#cuserid
^844 1042$@0@g26@6@0,s3@1@g26,s3$@0#dup2
^845 1044$@0@g26@6@0,s3@1@g26,s3$@0#dup
^846 1046@6@0@5@0@0@0@g26@6@0@1@g26$@0#execl
^847 1048@6@0@5@0@0@0@g26@6@0@1@g26$@0#execle
^848 1050@6@0@5@0@0@0@g26@6@0@1@g26$@0#execlp
^849 1054@6@0@5@0@0@0@g26@6@0@1@g26$@0#execv
^850 1056@6@0@5@0@0@0@g26@6@0@1@g26$@0#execve
^851 1058@6@0@5@0@0@0@g26@6@0@1@g26$@0#execvp
^852 1060$@0@s3,g26@6@0@1@s3,g26$@0#fork
^853 1062$@0@g26@6@0@1@g26$@0#fpathconf
^854 1065@6@5@1@0@0@0@g26@6@0@1@g26,tp0$@0#getcwd
^855 1067$^$@0#getegid
^856 1069$^$@0#geteuid
^857 1071$^$@0#getgid
^858 1074$@0@g26@6@0@1@g26,ap1$@0#getgroups
^859 1077$^@19@3@0#getlogin
^860 1079$^$@0#getpgrp
^861 1081$^$@0#getpid
^862 1083$^$@0#getppid
^863 1085$^$@0#getuid
^864 1087$^$@0#isatty
^865 1089$@0@g26@6@0,s3@1@g26,s3$@0#link
^866 1091$@0@g26@6@0@1@g26$@0#lseek
^867 1093$@0@g26@6@0@1@g26$@0#pathconf
^868 1095$@0@g26@6@0@1@g26$@0#pause
^869 1097$@0@g26@6@0@1@g26$@0#pipe
^870 1099$@0@g26@6@0@1@g26,tp1$@0#read
^871 1101$@0@s3,g26@6@0@1@s3,g26$@0#rmdir
^872 1103$@0@g26@6@0,s3@1@g26,s3$@0#setgid
^873 1105$@0@g26@6@0,s3@1@g26,s3$@0#setpgid
^874 1107$@0@s3@1@s3$@0#setsid
^875 1109$@0@g26@6@0,s3@1@g26,s3$@0#setuid
^876 1111$@0@s3@1@s3$@0#sleep
^877 1113$@0@g26@6@0@1@g26$@0#sysconf
^878 1115$@0@g26@6@0@1@g26$@0#tcgetpgrp
^879 1117$@0@g26@6@0,s3@1@g26,s3$@0#tcsetpgrp
^880 1120@6@5@1@0@0@0@g26@6@0@1@g26@19@3@0#ttyname
^881 1122$@0@s3,g26@6@0@1@s3,g26$@0#unlink
^882 1124$@0@g26@6@0@1@g26$@0#write
*7 (Struct tag)
^883 1125@1126#@utimbuf
*4 (Function)
^884 1129$@0@s3,g26@6@0@1@s3,g26$@0#utime
*0 (Datatype)
^885 20@a@+@0@0@0@0@1130#regex_t
^886 13@-@-@0@0@0@0@1131#regoff_t
*7 (Struct tag)
^887 1132@1133#@!7
*0 (Datatype)
^888 1132@-@-@0@0@0@0@1134#regmatch_t
*4 (Function)
^889 1137$@0@@1@p0$@0#regcomp
^890 1140$@0@@1@p3$@0#regexec
^891 1142$@0@@1@p2$@0#regerror
^892 1144$$$@0#regfree
*1 (Constant)
^893 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 435 1
r
2
3
0
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Param 435 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 1138 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