1 ;;; Splint Library null6.lcd
2 ;;Splint 3.0.1.7 --- 28 Mar 2002
124 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,}!
126 3 f0 (5|$#,23|0@5@7&#,)!
127 3 f19 (5|$#,23|0@5@7&#,)!
128 3 f23 (5|$#,23|0@5@7&#,)!
146 3 f17 (17|$#,17|$#,)!
157 3 f0 (17|$#,24|4@0@7&#,)!
158 3 f17 (17|$#,24|4@0@7&#,)!
164 3 f17 (17|$#,17|$#,)!
173 3 f0 (17|$#,36|4@0@7&#,)!
174 3 f17 (17|$#,36|4@0@7&#,)!
176 3 f17 (17|$#,17|$#,)!
199 3 f0 (5|$#,193|0@5@7&#,)!
200 3 f19 (5|$#,193|0@5@7&#,)^196
205 3 f1 (5|$#,193|0@5@7&#,)!
207 3 f201 (5|$#,193|0@5@7&#,)!
211 3 f0 (205|4@0@7&#,!.,)!
212 3 f1 (205|4@0@7&#,!.,)!
225 3 f0 (23|@5|4@5@7&#,)!
226 3 f19 (23|@5|4@5@7&#,)!
227 3 f23 (23|@5|4@5@7&#,)!
233 3 f19 (23|$#,23|$#,)!
234 3 f212 (23|$#,23|$#,)!
235 3 f0 (23|$#,23|$#,212|$#,)!
236 3 f19 (23|$#,23|$#,212|$#,)!
237 3 f212 (23|$#,23|$#,212|$#,)!
238 3 f0 (212|$#,23|4@5@19@2@0#,)!
239 3 f1 (212|$#,23|4@5@19@2@0#,)!
240 3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
241 3 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
243 3 f0 (212|$#,23|$#,!.,)!
244 3 f5 (212|$#,23|$#,!.,)!
245 3 f237 (212|$#,23|$#,!.,)!
246 3 f0 (212|$#,23|$#,!.,)!
247 3 f5 (212|$#,23|$#,!.,)!
253 3 f0 (23|4@0@7&#,23|$#,!.,)!
254 3 f5 (23|4@0@7&#,23|$#,!.,)!
255 3 f237 (23|4@0@7&#,23|$#,!.,)!
256 3 f0 (23|4@0@7&#,23|$#,!.,)!
257 3 f5 (23|4@0@7&#,23|$#,!.,)!
258 3 f0 (23|$#,205|$#,)!
259 3 f5 (23|$#,205|$#,)!
260 3 f0 (212|$#,23|$#,205|$#,)!
261 3 f5 (212|$#,23|$#,205|$#,)!
262 3 f0 (23|4@0@7&#,23|$#,205|$#,)!
263 3 f5 (23|4@0@7&#,23|$#,205|$#,)!
264 3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
265 3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
268 3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
269 3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
270 3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
272 3 f0 (266|$#,212|$#,)!
273 3 f5 (266|$#,212|$#,)!
274 3 f0 (23|$#,212|$#,)!
275 3 f5 (23|$#,212|$#,)!
283 3 f0 (266|$#,212|@7|$#,)!
284 3 f5 (266|$#,212|@7|$#,)!
289 3 f0 (266|$#,212|$#,)!
290 3 f5 (266|$#,212|$#,)!
291 3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
292 3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
293 3 f0 (20|$#,63|$#,63|$#,212|$#,)!
294 3 f63 (20|$#,63|$#,63|$#,212|$#,)!
296 3 f0 (212|$#,290|4@0@7&#,)!
297 3 f5 (212|$#,290|4@0@7&#,)!
298 3 f0 (212|$#,9|$#,5|$#,)!
299 3 f5 (212|$#,9|$#,5|$#,)!
300 3 f0 (212|$#,290|$#,)!
301 3 f5 (212|$#,290|$#,)!
322 3 f0 (23|$#,316|4@5@7&#,)!
323 3 f17 (23|$#,316|4@5@7&#,)!
324 3 f0 (23|$#,316|4@5@7&#,5|$#,)!
325 3 f9 (23|$#,316|4@5@7&#,5|$#,)!
326 3 f0 (23|$#,316|4@5@7&#,5|$#,)!
327 3 f10 (23|$#,316|4@5@7&#,5|$#,)!
333 3 f19 (63|$#,63|$#,)!
334 3 f20 (63|$#,63|$#,)!
338 3 f0 (20|@5|4@5@2&#,63|$#,)!
339 3 f19 (20|@5|4@5@2&#,63|$#,)!
340 3 f20 (20|@5|4@5@2&#,63|$#,)!
359 3 f353 (20|$#,20|$#,)!
360 3 f5 (20|$#,20|$#,)^356
362 3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
363 3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
364 3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
366 3 f360 (20|$#,20|$#,)!
367 3 f5 (20|$#,20|$#,)^363
369 3 f0 (20|$#,63|$#,63|$#,363|$#,)!
370 3 f1 (20|$#,63|$#,63|$#,363|$#,)!
373 3 S!2{5|@1|$#quot,5|@1|$#rem,}!
380 3 S!3{9|@1|$#quot,9|@1|$#rem,}!
390 3 f0 (384|@5|$#,5|$#,212|$#,)!
391 3 f19 (384|@5|$#,5|$#,212|$#,)!
392 3 f384 (384|@5|$#,5|$#,212|$#,)!
393 3 f0 (65|$#,212|$#,)!
394 3 f66 (65|$#,212|$#,)!
395 3 f0 (384|$#,212|$#,)!
396 3 f5 (384|$#,212|$#,)!
399 3 f0 (212|$#,384|$#,!.,)!
400 3 f5 (212|$#,384|$#,!.,)!
401 3 f0 (212|$#,384|$#,!.,)!
402 3 f5 (212|$#,384|$#,!.,)!
408 3 f0 (23|$#,63|$#,402|0@5@7&#,)!
409 3 f63 (23|$#,63|$#,402|0@5@7&#,)!
410 3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
411 3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
414 3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
415 3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
416 3 f0 (65|$#,212|@7|$#,)!
417 3 f66 (65|$#,212|@7|$#,)!
420 3 f0 (384|$#,63|$#,384|$#,!.,)!
421 3 f5 (384|$#,63|$#,384|$#,!.,)!
422 3 f0 (384|$#,384|$#,!.,)!
423 3 f5 (384|$#,384|$#,!.,)!
424 3 f0 (66|$#,212|$#,)!
425 3 f66 (66|$#,212|$#,)!
426 3 f0 (212|$#,384|$#,205|$#,)!
427 3 f5 (212|$#,384|$#,205|$#,)!
428 3 f0 (384|$#,63|$#,384|$#,205|$#,)!
429 3 f5 (384|$#,63|$#,384|$#,205|$#,)!
430 3 f0 (384|$#,205|$#,)!
431 3 f5 (384|$#,205|$#,)!
432 3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
433 3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
435 3 f0 (384|@5|4@0@9&#,384|$#,)!
436 3 f1 (384|@5|4@0@9&#,384|$#,)!
437 3 f429 (384|@5|4@0@9&#,384|$#,)!
438 3 f0 (384|@5|$#,65|$#,)!
439 3 f19 (384|@5|$#,65|$#,)!
440 3 f384 (384|@5|$#,65|$#,)!
441 3 f0 (384|$#,384|$#,)!
442 3 f5 (384|$#,384|$#,)!
443 3 f0 (384|$#,384|$#,)!
444 3 f5 (384|$#,384|$#,)!
445 3 f0 (384|@5|4@0@9&#,384|$#,)!
446 3 f1 (384|@5|4@0@9&#,384|$#,)!
447 3 f429 (384|@5|4@0@9&#,384|$#,)!
448 3 f0 (384|$#,384|$#,)!
449 3 f63 (384|$#,384|$#,)!
452 3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
453 3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
457 3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
458 3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
459 3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
460 3 f0 (384|$#,384|$#,63|$#,)!
461 3 f5 (384|$#,384|$#,63|$#,)!
462 3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
463 3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
464 3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
465 3 f0 (384|@5|$#,384|$#,)!
466 3 f19 (384|@5|$#,384|$#,)!
467 3 f384 (384|@5|$#,384|$#,)!
468 3 f0 (384|@5|$#,65|$#,)!
469 3 f19 (384|@5|$#,65|$#,)!
470 3 f384 (384|@5|$#,65|$#,)!
472 3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
473 3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
474 3 f0 (384|$#,384|$#,)!
475 3 f63 (384|$#,384|$#,)!
476 3 f0 (384|$#,384|$#,)!
477 3 f19 (384|$#,384|$#,)!
478 3 f384 (384|$#,384|$#,)!
479 3 f0 (384|$#,466|0@5@7&#,)!
480 3 f17 (384|$#,466|0@5@7&#,)!
481 3 f0 (384|0@5@7&#,384|$#,466|$#,)!
482 3 f19 (384|0@5@7&#,384|$#,466|$#,)!
483 3 f384 (384|0@5@7&#,384|$#,466|$#,)!
484 3 f0 (384|$#,466|0@5@7&#,5|$#,)!
485 3 f9 (384|$#,466|0@5@7&#,5|$#,)!
486 3 f0 (384|$#,466|0@5@7&#,5|$#,)!
487 3 f10 (384|$#,466|0@5@7&#,5|$#,)!
488 3 f0 (384|0@5@7&#,384|$#,63|$#,)!
489 3 f63 (384|0@5@7&#,384|$#,63|$#,)!
492 3 f0 (384|$#,65|$#,63|$#,)!
493 3 f19 (384|$#,65|$#,63|$#,)!
494 3 f384 (384|$#,65|$#,63|$#,)!
495 3 f0 (384|$#,384|$#,63|$#,)!
496 3 f5 (384|$#,384|$#,63|$#,)!
497 3 f0 (384|@5|$#,384|$#,63|$#,)!
498 3 f19 (384|@5|$#,384|$#,63|$#,)!
499 3 f384 (384|@5|$#,384|$#,63|$#,)!
500 3 f0 (384|@5|$#,384|$#,63|$#,)!
501 3 f19 (384|@5|$#,384|$#,63|$#,)!
502 3 f384 (384|@5|$#,384|$#,63|$#,)!
503 3 f0 (384|@5|$#,65|$#,63|$#,)!
504 3 f19 (384|@5|$#,65|$#,63|$#,)!
505 3 f384 (384|@5|$#,65|$#,63|$#,)!
522 3 f0 (66|$#,505|$#,)!
523 3 f2 (66|$#,505|$#,)!
524 3 f507 (66|$#,505|$#,)!
552 3 f0 (66|$#,506|$#,)!
553 3 f66 (66|$#,506|$#,)!
554 3 f546 (66|$#,506|$#,)!
567 3 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
568 3 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
569 3 f0 (23|4@5@7&#,65|$#,)!
570 3 f5 (23|4@5@7&#,65|$#,)!
571 3 f0 (384|4@0@7&#,23|$#,63|$#,)!
572 3 f63 (384|4@0@7&#,23|$#,63|$#,)!
573 3 f0 (23|4@0@7&#,384|$#,63|$#,)!
574 3 f63 (23|4@0@7&#,384|$#,63|$#,)!
576 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
577 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
578 3 f570 (20|@5|4@0@9&#,20|$#,63|$#,)!
579 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
580 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
581 3 f570 (20|@5|4@0@7&#,20|$#,63|$#,)!
583 3 f0 (23|@5|4@0@9&#,23|$#,)!
584 3 f1 (23|@5|4@0@9&#,23|$#,)!
585 3 f577 (23|@5|4@0@9&#,23|$#,)!
586 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
587 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
588 3 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
589 3 f0 (23|@5|0@0@9&#,23|$#,)!
590 3 f1 (23|@5|0@0@9&#,23|$#,)!
591 3 f577 (23|@5|0@0@9&#,23|$#,)!
592 3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
593 3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
594 3 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
595 3 f0 (20|$#,20|$#,63|$#,)!
596 3 f5 (20|$#,20|$#,63|$#,)!
601 3 f0 (23|$#,23|$#,63|$#,)!
602 3 f5 (23|$#,23|$#,63|$#,)!
603 3 f0 (23|4@5@7&#,23|$#,63|$#,)!
604 3 f63 (23|4@5@7&#,23|$#,63|$#,)!
605 3 f0 (20|$#,5|$#,63|$#,)!
606 3 f19 (20|$#,5|$#,63|$#,)!
607 3 f20 (20|$#,5|$#,63|$#,)!
608 3 f0 (23|@5|$#,266|$#,)!
609 3 f19 (23|@5|$#,266|$#,)!
610 3 f23 (23|@5|$#,266|$#,)!
612 3 f63 (23|$#,23|$#,)!
613 3 f0 (23|@5|$#,23|$#,)!
614 3 f19 (23|@5|$#,23|$#,)!
615 3 f23 (23|@5|$#,23|$#,)!
616 3 f0 (23|@5|$#,266|$#,)!
617 3 f19 (23|@5|$#,266|$#,)!
618 3 f23 (23|@5|$#,266|$#,)!
620 3 f63 (23|$#,23|$#,)!
621 3 f0 (23|@5|0@0@9&#,23|$#,)!
622 3 f19 (23|@5|0@0@9&#,23|$#,)!
623 3 f23 (23|@5|0@0@9&#,23|$#,)!
624 3 f0 (23|@5|0@5@7&#,23|$#,)!
625 3 f19 (23|@5|0@5@7&#,23|$#,)!
626 3 f23 (23|@5|0@5@7&#,23|$#,)!
628 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
629 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
630 3 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
638 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,}!
641 3 f0 (632|$#,632|$#,)!
642 3 f17 (632|$#,632|$#,)!
647 3 f632 (640|4@5@7&#,)!
660 3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
661 3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
705 ^0 2@+@-@0@0@0@0@2#lltX_bool
712 ^5 23$#__DATE__#__FILE__#__BASE_FILE__
713 ^8 5$#__INCLUDE_LEVEL__
716 ^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
717 ^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
718 ^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
720 ^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
721 ^16 5$#S_SPLINT_S#__LCLINT__#__i686
723 ^19 212|@1|6@0@0@0@1#stdin#stdout
725 ^21 5$#EDOM#ERANGE#EILSEQ
727 ^24 5|@1|6@0@0@0@1#errno
729 ^25 13@-@-@0@0@0@0@62#ptrdiff_t
730 ^26 14@-@-@0@0@0@0@63#size_t
731 ^27 15@-@-@0@0@0@0@64#ssize_t
732 ^28 13@-@-@0@0@0@0@65#wchar_t
733 ^29 13@-@-@0@0@0@0@66#wint_t
734 ^30 0@+@=@0@7@0@0@67#mbstate_t
739 ^33 72@6@0@8@0@0^$@0#assert
750 ^44 111$^$@0#isxdigit
756 ^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
758 ^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale
759 ^55 127$^@3@0@0#localeconv
761 ^56 5|@1|6@0@0@0@1#DBL_DIG
762 ^57 17|@1|6@0@0@0@1#DBL_EPSILON
763 ^58 5|@1|6@0@0@0@1#DBL_MANT_DIG
764 ^59 17|@1|6@0@0@0@1#DBL_MAX
765 ^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
766 ^62 17|@1|6@0@0@0@1#DBL_MIN
767 ^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
768 ^66 16|@1|6@0@0@0@1#FLT_EPSILON
769 ^67 5|@1|6@0@0@0@1#FLT_MANT_DIG
770 ^68 16|@1|6@0@0@0@1#FLT_MAX
771 ^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
772 ^71 16|@1|6@0@0@0@1#FLT_MIN
773 ^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
777 ^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
778 ^77 18|@1|6@0@0@0@1#LDBL_EPSILON
779 ^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG
780 ^79 18|@1|6@0@0@0@1#LDBL_MAX
781 ^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
782 ^82 18|@1|6@0@0@0@1#LDBL_MIN
783 ^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
786 ^86 4$#CHAR_MAX#CHAR_MIN
787 ^88 5$#INT_MAX#INT_MIN
788 ^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
789 ^93 4$#SCHAR_MAX#SCHAR_MIN
790 ^95 7$#SHRT_MAX#SHRT_MIN
791 ^97 3$#UCHAR_MAX#UCHAR_MIN
800 ^106 135$@0@g24@6@0@1@g24$@0#asin
801 ^107 137$@0@g24@6@0@1@g24$@0#acos
805 ^111 145$@0@g24@6@0@1@g24$@0#cosh
807 ^113 149$@0@g24@6@0@1@g24$@0#exp
808 ^114 151$@0@g24@6@0@1@g24$@0#ldexp
809 ^115 153$@0@@1@tp1$@0#frexp
810 ^116 155$@0@g24@6@0@1@g24$@0#log
811 ^117 157$@0@g24@6@0@1@g24$@0#log10
812 ^118 159$@0@g24@6@0@1@g24$@0#pow
813 ^119 161$@0@g24@6@0@1@g24$@0#sqrt
817 ^123 169$@0@@1@tp1$@0#modf
820 ^125 20@+@+@0@0@0@0@172#jmp_buf
822 ^126 174$@0@@1@p0$@0#setjmp
823 ^127 176@6@0@5@0@0^$@0#longjmp
825 ^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
827 ^134 13@-@-@0@0@0@0@177#sig_atomic_t
833 ^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal
834 ^139 204@6@0@5@0@0$$@0#raise
836 ^140 20@+@+@0@0@0@0@205#va_list
838 ^141 207$@0@@1@p0$@0#va_start
839 ^142 209$@0@@1@p0$@0#va_end
841 ^143 20@+@+@0@0@0@0@210#FILE
842 ^144 20@+@+@0@0@0@0@211#fpos_t
844 ^145 63$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
845 ^149 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
847 ^157 212|@1|6@0@0@0@1#stderr
849 ^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove
850 ^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename
851 ^160 219@6@5@1@0@0@0@s3,g24@6@0@1@s3,g24@18@0@0#tmpfile
852 ^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
853 ^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose
854 ^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush
855 ^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
856 ^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@18@0@0#freopen
857 ^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
858 ^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
859 ^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
860 ^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
861 ^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf
862 ^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf
863 ^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
864 ^173 252@6@0@1@2@0^$@0#sscanf
865 ^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf
866 ^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf
867 ^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
868 ^177 260$@0@@1@p0$@0#vsnprintf
869 ^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc
870 ^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets
871 ^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc
872 ^181 270$@0@s3@1@s3,tp1$@0#fputs
873 ^182 272$@0@s3@1@s3,tp0$@0#getc
874 ^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar
875 ^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
876 ^185 279$@0@s3@1@s3,tp1$@0#putc
877 ^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar
878 ^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts
879 ^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc
880 ^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread
881 ^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite
882 ^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos
883 ^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek
884 ^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos
885 ^194 298$@0@g24@6@0@1@g24$@0#ftell
886 ^195 300$@0@@1@tp0$@0#rewind
887 ^196 302$@0@@1@tp0$@0#clearerr
888 ^197 304$@0@g24@6@0@1@g24$@0#feof
889 ^198 306$@0@g24@6@0@1@g24$@0#ferror
890 ^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror
894 ^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod
895 ^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol
896 ^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul
900 ^207 324$@0@s1@1@s1$@0#rand
901 ^208 326$@0@s1@1@s1$@0#srand
902 ^209 329@6@5@1@0@0^@2@0@0#calloc
903 ^210 332@4@5@1@0@0^@2@0@0#malloc
904 ^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
905 ^212 337$@0@@1@p0$@0#free
907 ^213 5$#EXIT_FAILURE#EXIT_SUCCESS
909 ^215 339@6@0@6@0@0^$@0#abort
910 ^216 341@6@0@6@0@0^$@0#exit
911 ^217 347$@0@s1@1@s1$@0#atexit
912 ^218 350@6@5@1@0@0^@19@3@0#getenv
913 ^219 352$@0@s3@1@s3$@0#system
914 ^220 359@6@5@1@0@0^@18@0@0#bsearch
915 ^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort
920 ^224 368@-@-@0@0@0@0@370#div_t
927 ^228 375@-@-@0@0@0@0@377#ldiv_t
932 ^231 5$#WCHAR_MAX#WCHAR_MIN
936 ^235 383$@0@s3@1@s3,tp0$@0#fgetwc
937 ^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
938 ^237 389$@0@s3@1@s3,tp1$@0#fputwc
939 ^238 391$@0@s3@1@s3,tp1$@0#fputws
941 ^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
942 ^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
943 ^242 399$@0@s3@1@s3,tp0$@0#getwc
944 ^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar
946 ^245 406$@0@@1@tp0$@0#mbrtowc
947 ^246 408$^$@0#mbsinit
948 ^247 410$@0@@1@tp0$@0#mbsrtowcs
949 ^248 412$@0@s3@1@s3,tp1$@0#putwc
950 ^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar
951 ^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
952 ^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf
953 ^252 420$@0@s3@1@s3,tp1$@0#ungetwc
954 ^253 422$@0@s3@1@s3,tp0$@0#vfwprintf
955 ^254 424$@0@@1@tp0$@0#vswprintf
956 ^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf
957 ^256 428$@0@@1@tp0$@0#wcrtomb
958 ^257 432$@0@@1@tp0$@0#wcscat
959 ^258 435@6@5@1@0@0^@19@2@0#wcschr
961 ^260 439$^$@0#wcscoll
962 ^261 442$@0@@1@tp0$@0#wcscpy
963 ^262 444$^$@0#wcscspn
967 ^264 448$@0@@1@tp0$@0#wcsftime
969 ^266 454$@0@@1@tp0$@0#wcsncat
970 ^267 456$^$@0#wcsncmp
971 ^268 459$@0@@1@tp0$@0#wcsncpy
972 ^269 462@6@5@1@0@0^$@0#wcspbrk
973 ^270 465@6@5@1@0@0^$@0#wcsrchr
974 ^271 468$@0@@1@tp1$@0#wcsrtombs
976 ^273 473@6@5@1@0@0^@3@0@0#wcsstr
977 ^274 475$@0@@1@tp1$@0#wcstod
978 ^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
979 ^276 480$@0@@1@tp1$@0#wcstol
980 ^277 482$@0@@1@tp1$@0#wcstoul
981 ^278 484$@0@@1@tp0$@0#wcsxfrm
983 ^280 489@6@5@1@0@0^@3@0@0#wmemchr
984 ^281 491$^$@0#wmemcmp
985 ^282 494$@0@@1@tp0$@0#wmemcpy
986 ^283 497$@0@@1@tp0$@0#wmemmove
987 ^284 500$@0@@1@tp0$@0#wmemset
988 ^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf
989 ^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf
991 ^287 13@-@-@0@0@0@0@505#wctype_t
992 ^288 13@-@-@0@0@0@0@506#wctrans_t
994 ^289 510$^$@0#iswalnum
995 ^290 513$^$@0#iswalpha
996 ^291 516$^$@0#iswcntrl
997 ^292 519$^$@0#iswctype
998 ^293 522$^$@0#iswdigit
999 ^294 526$^$@0#iswgraph
1000 ^295 529$^$@0#iswlower
1001 ^296 532$^$@0#iswprint
1002 ^297 535$^$@0#iswpunct
1003 ^298 538$^$@0#iswspace
1004 ^299 541$^$@0#iswupper
1005 ^300 545$^$@0#iswxdigit
1006 ^301 549$^$@0#towctrans
1007 ^302 552$^$@0#towlower
1008 ^303 555$^$@0#towupper
1009 ^304 557$^$@0#wctrans
1010 ^305 559$^$@0#wctype
1012 ^307 563$@0@@1@tp0$@0#mbtowc
1013 ^308 565$@0@@1@tp0$@0#wctomb
1014 ^309 567$@0@@1@tp0$@0#mbstowcs
1015 ^310 569$@0@@1@tp0$@0#wcstombs
1016 ^311 573$@0@@1@tp0$@0#memcpy
1017 ^312 576$@0@@1@tp0$@0#memmove
1018 ^313 580$@0@@1@tp0$@0#strcpy
1019 ^314 583$@0@@1@tp0$@0#strncpy
1020 ^315 586$@0@@1@tp0$@0#strcat
1021 ^316 589$@0@@1@tp0$@0#strncat
1022 ^317 591$^$@0#memcmp
1023 ^318 593$^$@0#strcmp
1024 ^319 595$^$@0#strcoll
1025 ^320 597$^$@0#strncmp
1026 ^321 599$@0@@1@tp0$@0#strxfrm
1027 ^322 602@6@5@1@0@0^@3@0@0#memchr
1028 ^323 605@6@5@1@0@0^@19@2@0#strchr
1029 ^324 607$^$@0#strcspn
1030 ^325 610@6@5@1@0@0^@19@2@0#strpbrk
1031 ^326 613@6@5@1@0@0^@19@2@0#strrchr
1032 ^327 615$^$@0#strspn
1033 ^328 618@6@5@1@0@0^@19@2@0#strstr
1034 ^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok
1035 ^330 625$@0@@1@tp0$@0#memset
1036 ^331 628$^@19@3@0#strerror
1037 ^332 630$^$@0#strlen
1039 ^333 5$#CLOCKS_PER_SEC
1041 ^334 13@-@-@0@0@0@0@631#clock_t
1042 ^335 13@-@-@0@0@0@0@632#time_t
1044 ^336 635$@0@s1@1@s1$@0#clock
1045 ^337 637$^$@0#difftime
1046 ^338 639$^$@0#mktime
1047 ^339 642$@0@@1@tp0$@0#time
1048 ^340 645$@0@g24@6@0@1@g24@19@3@0#asctime
1049 ^341 648$^@19@3@0#ctime
1050 ^342 651@6@5@1@0@0^@19@3@0#gmtime
1051 ^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime
1052 ^344 656$@0@@1@tp0$@0#strftime
1054 ^345 13@-@-@0@0@0@0@657#int8_t
1055 ^346 13@-@-@0@0@0@0@658#int16_t
1056 ^347 13@-@-@0@0@0@0@659#int32_t
1057 ^348 13@-@-@0@0@0@0@660#int64_t
1058 ^349 14@-@-@0@0@0@0@661#uint8_t
1059 ^350 14@-@-@0@0@0@0@662#uint16_t
1060 ^351 14@-@-@0@0@0@0@663#uint32_t
1061 ^352 14@-@-@0@0@0@0@664#uint64_t
1062 ^353 13@-@-@0@0@0@0@665#int_least8_t
1063 ^354 13@-@-@0@0@0@0@666#int_least16_t
1064 ^355 13@-@-@0@0@0@0@667#int_least32_t
1065 ^356 13@-@-@0@0@0@0@668#int_least64_t
1066 ^357 14@-@-@0@0@0@0@669#uint_least8_t
1067 ^358 14@-@-@0@0@0@0@670#uint_least16_t
1068 ^359 14@-@-@0@0@0@0@671#uint_least32_t
1069 ^360 14@-@-@0@0@0@0@672#uint_least64_t
1070 ^361 13@-@-@0@0@0@0@673#int_fast8_t
1071 ^362 13@-@-@0@0@0@0@674#int_fast16_t
1072 ^363 13@-@-@0@0@0@0@675#int_fast32_t
1073 ^364 13@-@-@0@0@0@0@676#int_fast64_t
1074 ^365 14@-@-@0@0@0@0@677#uint_fast8_t
1075 ^366 14@-@-@0@0@0@0@678#uint_fast16_t
1076 ^367 14@-@-@0@0@0@0@679#uint_fast32_t
1077 ^368 14@-@-@0@0@0@0@680#uint_fast64_t
1078 ^369 24@-@+@0@0@0@0@681#intptr_t
1079 ^370 25@-@+@0@0@0@0@682#uintptr_t
1080 ^371 15@-@-@0@0@0@0@683#intmax_t
1081 ^372 14@-@-@0@0@0@0@684#uintmax_t
1083 ^373 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
1084 ^409 63$#INTPTR_MIN#INTPTR_MAX
1086 ^411 0@+@+@0@7@0@0@685#mnull
1087 ;; Library constraints
1102 ;; end precondition constraints
1104 ;; end precondition constraints
1126 ;; end precondition constraints
1159 ;; end precondition constraints
1162 ;; end precondition constraints
1183 ;; end precondition constraints
1186 ;; end precondition constraints
1207 ;; end precondition constraints
1210 ;; end precondition constraints
1231 ;; end precondition constraints
1272 ;; end precondition constraints
1274 ;; end precondition constraints
1315 ;; end precondition constraints
1317 ;; end precondition constraints
1334 ;; end precondition constraints
1378 ;; end precondition constraints
1400 ;; end precondition constraints
1428 ;; end precondition constraints
1454 ;; end precondition constraints
1479 ;; end precondition constraints
1503 ;; end precondition constraints
1526 ;; end precondition constraints
1529 ;; end precondition constraints
1583 ;; end precondition constraints
1586 ;; end precondition constraints
1640 ;; end precondition constraints
1643 ;; end precondition constraints
1725 ;; end precondition constraints
1747 ;; end precondition constraints
1768 ;; end precondition constraints
1771 ;; end precondition constraints
1785 ;; end precondition constraints
1788 ;; end precondition constraints
1814 ;; end precondition constraints
1817 ;; end precondition constraints
1843 ;; end precondition constraints